Replace `vagrant ssh` with ssh proper

Based on the output of `vagrant ssh-config`.