pindent.py: use /usr/local/bin/python;
pathfix.py: new script to fix #! lines in a group of scripts.