Make use of Jenkins for Coversheet (#22)