.bashrc: Add ssh-vagrant.