Codecov seems to be less than secure given the recent news. We should investigate coveralls as an alternative.