Make MySQL storage persistent

This pull request adds persistent storage for MySQL using the [vagrant persistent storage plugin](https://github.com/kusnier/vagrant-persistent-storage). (The changes to the Vagrantfile are thus that the plugin is not required, things will continue to function like they did before when the plugin is not installed).