Vagrant files for building Linux virtual machines