Update box in Vagrantfile

Fixes issue #161.