Make coq-lint.sh compatible with BSD grep

On macOS, egrep does not support empty subexpressions in a regex OR.
2 jobs for !336 with fix-coq-lint-macos in 4 minutes and 36 seconds (queued for 6 seconds)
merge request