Use GNU grep on macOS in coq-lint.sh

2 jobs for !336 with fix-coq-lint-macos in 7 minutes and 18 seconds (queued for 7 seconds)
merge request