Vagrant cache

Integrates [vagrant-cachier](https://github.com/fgrehm/vagrant-cachier) to optionally speed up provisioning, which otherwise makes debugging `setup_dev.sh` and friends annoyingly time-consuming.