updating the vagrant box name to 'precise64'

should be more canonical to avoid downloading the same file for both boxes