Build on Travis CI, ship coverage.

Build on Travis CI and ship coverage generated by Travis CI build to web
server.

Closes #4.
Closes #3.