Add coverage reports to Travis-CI config.