Add aliases for ssh via proxy