Fix "coverage -h" command

Steven Murdochrequested to merge
sjm217/arti:fix-coverage-help into main

$SCRIPT_NAME is not defined so causes an error. Use $(basename "$0") instead.

Edited by Steven Murdoch

Merge request reports