Fleshed out Vagrantfile with 32 and 64-bit versions.