Update vagrant box to 20141112 version

This is the latest version of our standard box. It brings no new
features relevant to this repository, but is being updated so we remain
consistent.