modernize vagrantfile (box naming from vagrant cloud, align style with docs)
update URLs/hashes, stay close to original versions for now
use defaults for virtualenv