Makes it more readable for human consumption. Also, redirect initial output to stderr to fix e.g. output to json file.
Includes two small scripts: verify-bash.sh for running shellcheck, and verify-python.sh for running pylint. .pylint rc files is a default configuration file generated by pylint 2.3.1, with one change (min-similarity-lines changed from 4 to 10).