Add ED25519 ssh host key fact

OpenSSH 6.5 supports ED25519 host keys. This pull request adds a fact for such keys.

I also refactored out the code repetition in the fact creation function.