Add coverage program.

See #5.
See #4.