Split the base box into one used for dev and one for the tutorial.

Fixes #509.

TODO:
 1. [ ] Update the documentation. (It will be the same as currently, but for both of the boxes)
 2. [ ] Update the release process to generate a new tutorial image with the just released packages.
Or, hm. This actually means you need to redo vagrant image for each release, rather than simply changing a Vagrantfile. I can't figure out if that's better or worse. Why did you go down this route?