[Maria-developers] Automatic annotated code coverage reports for MariaDB