Basic Vagrantfile for setting up a MySQL server on Ubuntu