Update Vagrantfile to use precise box