Collect code coverage from tests on Circle

[oesteban]

After merging #96, a new codecov coverage tracking infrastructure has been set in place. We should leverage it and send coverage reports also from Circle.