Basic Vagrant configuration to run a machine with Ubuntu 12.04 LTS 32-bit