Export coverage from Jenkins jobs #46
Description
We should augment the Jenkins tests to also push their coverage results to the codecov website. I have set up the codecov client application, so (hopefully) the only thing left to do is for @whart222 to generate whatever tokens we need to include in the call to codecov to get the results pushed / merged into the master report. See the codecov documentation.
Other issues:
- Our current Jenkins tests only test master and not pull requests. Should we look at adding that?
- Will the coverage information for PR be skewed because the PR coverage won't include the tests that require solvers (and are only run in Jenkins)?