Now using python to do find-replace instead of sed.
Merge pull request #41 from stanford-ppl/fix-sed-bug

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