Update Vagrantfile to use precise64 box, and forward port

Using a less common forward port by default, and updated the box to one which is available on vagrantup.com. Also updated the instructions for installation.