Jenkins integration

Currently, the model is integrated into Jenkins. The average build duration is around 15s, and it is able to support 5 builds in parallel.

Its output log mainly contains the probability of a patch to fail a unit test and its overall probability to fail any test. The overall probability is shown in the build summary page.