Don't strip domain from hostname.

The options from server matching are better with SSH with FQDNs.

TODO: I do need to go from passed name to FQDN, though.

gen-and-distrib-new-key.sh

@@ -9,7 +9,7 @@ then
 fi
 target=$1
 echo target: ${target}
-targetname=$( (echo $target | sed -e 's/\..*//') )
+targetname=${target}
 echo targetname=${targetname}
 hostname=$( (hostname -s) )
 echo hostname: ${hostname}