Remove unnecessary exit stuff from jenkins.sh

These lines are unnecessary now that we `set -e` at the start.