Add configuration files for coverage reports.

Install nose-cov and run
./setup.py nosetests --with-cov --cov-report html

.coveragerc

@@ -0,0 +1,25 @@
+[run]
+branch = True
+parallel = True
+include = benchexec/*
+
+[report]
+# Regexes for lines to exclude from consideration
+exclude_lines =
+    # Have to re-enable the standard pragma
+    pragma: no cover
+
+    # Don't complain about missing debug-only code:
+    def __repr__
+    if self\.debug
+
+    # Don't complain if tests don't hit defensive assertion code:
+    raise AssertionError
+    raise NotImplementedError
+
+    # Don't complain if non-runnable code isn't run:
+    if 0:
+    if __name__ == .__main__.:
+
+[html]
+directory = coverage

.gitignore

@@ -3,3 +3,5 @@
 build
 dist
 BenchExec.egg-info
+.coverage.*
+coverage