* Fix coverage story and add coveralls.io.

* Always be verbose to avoid failing builds because of 10 minutes without output.

* Add badges.