Allow to override Vagrant default SSH username

In complement to #23.