Added a script to translate safety-only specifications into a form suitable for participation in the Reactive Synthesis competition, www.syntcomp.org