Moved to newer version of Vagrantfile config.

Bridged networks are now public, and folder sharing is more intuitive.
Name customization still not working properly, but it doesn't matter.