Handle /etc/ssh/ssh_known_hosts

SSH can read host keys from system-wide /etc/ssh/ssh_known_hosts. sys::ssh should be able to create and manage this file.

Candidates to include there are:

• lx-pool.gsi.de
• git.*.gsi.de
• github.com
• …