Add ci_lint_ci.sh for linting the CI config files and scripts. The linting is based on yamllint and shellcheck.