Ease configuration

Make it easier to tweak vagrant vm configurations. Also bring web and desktop configurations a little closer to each other.
We could get rid of the box_url completely. That's really leftover from a previous version of Vagrant.