bash_aliases: add ssh alias