[PR] Set the default Vagrant SSH port to 2200

This avoids possible conflicts with our WSUWP Indie configuration