[gsoc] A great proposal for a JaCoCo Jenkins plugin