Provider does not need to set username

If the user sets this themselves, vagrant will pick it up. If the user
does not set it, vagrant will set a default. All this works without any
code on our end.
Refer users to vagrant's docs for ssh settings
Merge pull request #242 from sciurus/no_username

No username