Jenkins : GitHub Coverage Reporter

See README for documentation.