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