vagrantfile for basic 12.04 server