Scripts used by eponymous jenkins jobs at http://scala-webapps.epfl.ch/jenkins/