Add covertura to travis-ci