automatically adds github to known ssh hosts