Tools used by/with/alongside a jenkins continuous integration server