Build on Travis CI. Ship coverage to web server.

Closes #4.
Closes #3.