Collection of Greasemonkey userscripts for Jenkins CI