[Feature reques] Allow alternative to known_hosts

[quazgar]

Since known_hosts does only contain hashed entries if ssh's HashKnownHosts is enabled, this is not of use anymore (to the users where this feature is set). So my suggestion:

• Allow to set an customizable alternative file which then is simply parsed for host names. This file could be filled manually with those entries I want to have in plaintext.
• And/or allow to enter host names in a bash-expansion like manner: e.g. myhost[1-5,7-9]

[dimitri]

I'm careful to run with HashKnownHosts no in my ~/.ssh/config file, but I would still accept a patch doing what you describe here. Also, someday I need to offer the option to be using M-x shell or M-x eshell instead of M-x term that I just don't use anymore myself...