Also switch existing shebangs to "better" /usr/bin/env python.
Thus cleaning up the "tools" folder a bit.