Added support for line coverage with Jenkins CI