A Scala plugin for Jenkins continuous integration server