Vagrant environment for MariaDB benchmarks