Simple Bash linting tool written in Python