Update vagrant provisioning

The puppet stage of the provisioning by vagrant now also installs node.js and
grunt. This is needed for the following call of bin/update.sh to make sure all
js and css files are available.