Add jenkins.sh

This file is run by the CI server.