Simplifying SSH connections with a ~/.ssh/config file