ssh_config_hash_known_hosts option added

HashKnownHosts option is used in Aachen regulary. This PR add the optional possibility to activate this feature.