minor jenkins config fixes

Changes to jenkins files needed to deploy successfully on AWS.
* My successful build is at http://jenkins.buttonweavers.com:8080/job/buttonmen-cgolubi1/3/ (for now, yellow == success.  We'll fix this so that success is green.)
* There aren't any changes to any files that the webserver's vagrant uses, so feel free to just approve this without testing, or test if you want to double-check