lint: lint script extension

- This commit extend the `lint` script, made it also check following:
  - "*.mk"
  - "*.yml"
  - "**/Makefile*"

- Alos, this commit add the missing `error "$4"` in `gh_error()`.

Signed-off-by: willieyz <willie.zhao@chelpis.com>

Author: willieyz

scripts/lint

@@ -93,6 +93,7 @@ gh_summary_failure()
 
 gh_error()
 {
+  error "$4"
   if $IN_GITHUB_CONTEXT; then
     echo "::error file=$1,line=${2:-1},title=$3::$4"
   fi
@@ -156,7 +157,7 @@ check-spdx()
       success=false
     fi
   done
-  for file in $(git ls-files -- "*.[chsS]" "*.py" ":/!proofs/cbmc/*.py" ":/!examples/bring_your_own_fips202/custom_fips202/tiny_sha3/*"); do
+  for file in $(git ls-files -- "*.[chsS]" "*.py" "*.mk" "*.yml" "**/Makefile*" ":/!proofs/cbmc/*.py" ":/!examples/bring_your_own_fips202/custom_fips202/tiny_sha3/*"); do
     # Ignore symlinks
     if [[ ! -L $file && $(grep "Copyright (c) The mldsa-native project authors" $file | wc -l) == 0 ]]; then
       gh_error "$file" "${line:-1}" "Missing copyright header error" "$file is missing copyright header"