Added the jenkins builder to the CI information (#2).