Adding coveralls.

This commit adds coveralls to the Travis configuration, and a badge to
README.md.