Build on Travis CI, ship coverage to web server.