Add some words about istanbul Jenkins CI integration.