Add coverall reporting to Travis-CI