* tools/gimp-mkproxy: added proxy-subst command, which substitutes its argument for the current line in the proxied version