Vagrant Environment for MariaDB Benchmarks