Integrate coveralls

[MischaPanch]

Much nicer than the current coverage report as html

[mdbenito]

codecov might have a cleaner interface. Feature-wise they are similar but codecov seems to be preferred. However the pricing model of codecov is abusive at $10/user/mo, whereas coveralls' model is per number of private repos and much cheaper, so maybe coveralls...