Jenkins CI helpers: scripts, notes and so on.