Moving VirtualBox and Vagrant to an external drive

https://emptysqua.re/blog/moving-virtualbox-and-vagrant-to-an-external-drive/