Also switch existing shebangs to "better" /usr/bin/env python. (cherry picked from commit fc8ccd5b8c)
fc8ccd5b8c
Thus cleaning up the "tools" folder a bit. (cherry picked from commit ae9729b6df)
ae9729b6df