Stick the few lines of Jenkins shell script in a file so we can change-t...

...rack it.