Ship coverage to web server from Travis CI.

Closes #10.