Add Jenkins CI integration.