Bump box version in Vagrantfile