Add build support for gcov, a useful tool for fixing performance issues in the compiler.
Gitlab service has been migrated, please ensure that your repos/pipelines/etc. are working as expected. Let Hans know if there are any issues
Add build support for gcov, a useful tool for fixing performance issues in the compiler.