Installing Vagrant:

Vagrantup.com site: https://www.vagrantup.com/docs/installation/
VirtualBox: https://www.virtualbox.org/

Great tutorial: https://www.sitepoint.com/getting-started-vagrant-windows/



You can also provide a Custom.h file in this directory, next to the Vagrantfile.
See src/Custom-sample.h for an example.

After installing Vagrant and VirtualBox, open a shell in the tools/vagrant folder.
Run:
  vagrant up

To halt the VM, type:
  vagrant halt