Add checksum info about box to Vagrantfile