Web server coverage upload in separate program.

See #13.