Merge branch 'fix/test/coverage' into 'master'

[tests] Fixes script test.sh: option --coverage does not expect an argument.

See merge request frama-c/frama-c!4277