Switch to using official Ubuntu box distributed via Vagrant Cloud, so users don't need to do any further downloading or configuration to get up and running with the default configuration