Jenkins to use port 8080 instead of 80

It seems that Jetty can't run on port 80 unless the service is running
as a root user. Can look into some port forwarding later.
Bootstrap to setup Jenkins user

This vagrant configuraiton is mainly for debugging, so this little
script just changes the shell and sets a password for the Jenkins
daemon account.