Use configured ssh username

If no configured user is provided, will use "vagrant" by default. Does `config.ssh.username` get set to "vagrant" automatically? If so, we can take the conditional out.