chore: Delete contrib/tools/chkfmt.sh

Going forward, we will continue developing and using ci/ci_lint.sh
1 file changed