Updating the Vagrant configuration for Xenial 16.04.3
Updating the Vagrant configuration for Xenial 16.04.3

This change uses the `vagrant` username instead of `ubuntu`, since newer
images now have the (correct!) default username.

omegaup/puppet,omegaup/puppet,omegaup/puppet,omegaup/puppet