Revert "checked out resynthesis.py and lib/LTLParser from LTLMoP/spec_rewriting branch"

This reverts commit a6f1732d53db4cfd7c8c9fdfe016cf35df4dac00.