DEV: Fix documentation and dev setup

`vagrant up` now works cleanly