New script for general-purpose recursive substitution
in files tools/global_replace.py


svn/trunk@7065