Fix permissions on jenkins.sh

An accidental casualty of git-stripspace in 3b7fe7ef1e85154fee2de12ab79119e63bb9d810.