vagrant: clean up vagrant file, add jenkins stuff

There is now different behavior for Jenkins: LXC is expected to be used
as a backend, and so we specify a different base box for that.

Also cleaned up a bunch of superfluous comments in the Vagrantfile.