Now using python to do find-replace instead of sed.

This small change will allow the publish script to work cross-platform, since it no longer uses non-portable invocations of sed.