Added host aliases to ssh config example.