vagrant file for jenkins box

after booting, jenkins is available under localhost:8081

note: jenkins git plugin must be manually installed via the web interface