Build on Travis CI, ship coverage to web server.

See #4.
See #3.