Convert check_code.sh to Python

On Windows, launching the check_code.sh script currently requires a bash shell, which is not available by default on Windows. It should be converted to Python.