Move scripts from jenkins-script, travis-style

Move scripts closer to the stuff they script,
in preparation for a more travis-like CI set up.
See also scala-jenkins-infra.