Add box checksum to Vagrantfile