Support files generated by gcov

gcov generates files with the same name as the object files, but with
the extension replaced by *.gcda and *.gcno.   For more information,
see http://gcc.gnu.org/onlinedocs/gcc/Gcov-Data-Files.html