Some provisioning scripts are useful independently of the VM (e.g., the `install-dune.sh`). We could make these more portable.