use precise64 box as box_url

it's given as config.vm.box too, so we'll use precise64 from files.vagrantup.com.

this might be especially useful in case hhvm is going to be used some day.