Made the Vagrant ssh port config sticky.

This way we don't have to fiddle with the .ssh/config file on
every reboot.