coverage.sh: use gprbuild instead of gnatmake