Jenkins: Enable coverage reporting

See: 17734cecdd95ad8787b6ea7fb1bcd8ef04738279