contrib/jenkins.sh: new scriptAdd a CI script for https://jenkins.osmocom.org.Change-Id: If486aba5e455b2635714b91ccdc03b5153ee73d8