update coverage badge

* Use https to prevent caching on GitHub.
* The [Shields spec](https://github.com/badges/shields/blob/master/spec/SPECIFICATION.md) recommends making badges *informational* rather than *promotional*.

ref #3