Update Vagrant box to 20141112 version

We have published a new version of our standard Vagrant box. It has no
changes or new functionality that are relevant here, but it being
upgraded so we are consistent.