added some more convenient ssh aliases