Add ssh_user and ssh_key parameters for Vagrant platform

It is still useful for custom Vagrant boxes to be able to specify the ssh user and private key to use.