o Minor bugfixes: - Added optional parameter to contrib/coverage script to specify directory to put gcov files in, and added reset-gcov target to top-level makefile. Fixes bug #9267.
