Add coverage support.

You can now call ert-runner with --cover <filename> to get some
coverage results for this file. Can be specified multiple times.