Makefile: make gcov invocation configurable