"--gcov" is actually passed as a command line option (to avoid
   failures on systems with no gcov installed)


mysql-test/mysql-test-run.sh:
   - only probe for gcov, if it's actually required