* Makefile (install-client-nokey): Install "mandos-change-keytype". (uninstall-client): Uninstall "mandos-change-keytype". * mandos (priority): Changed back default GnuTLS priority string to "SECURE256:!CTYPE-X.509:+CTYPE-OPENPGP". * mandos-change-keytype: New script which, assuming the Mandos server is responding, will generate a new key with the new mandos-keygen default parameters (currently 4096-bit RSA), and output a replacement section for clients.conf on the Mandos server. * mandos-keygen: Bug fix: output password prompt even when redirecting stdout. * mandos-options.xml (priority): Document new default value. * mandos.conf (priority): - '' -