Vagrant configuration files for setting up a CentOS 6.5 - 32bit development server