bashrc: add f __ssh_with_cd