Fix Vagrant port forwarding for CI

Jenkins is listening on `8080` so `vagrant up` fails. Fixed port
forwarding definitions so that we can override them via environmental
variables.