Coverity + Jenkins

[Jason A. Donenfeld]

>From the FAQ:

Due to high levels of activity, the number of weekly builds per
project are as follows:
Up to 12 builds per week, with a maximum of 3 builds per day, for
projects with fewer than 100K lines of code
Up to   8 builds per week, with a maximum of 2 builds per day, for
projects with 100K to 500K lines of code
Up to   4 builds per week, with a maximum of 1 build per day, for
projects with 500K to 1 million lines of code
Up to   2 builds per week, with a maximum of 1 build per day, for
projects with more than 1 million lines of code


We might actually be in the "8 per week, 2 per day" category due to
being intermingled with the git codebase...