automatic conversion of non-standard specifications to GR(1) format

[slivingston]

For instance, be able to recognize [](A -> <>B) and convert it to an equivalent specification, possibly adding extra required "flag" variables. The conversion process should be automatic with details largely hidden from the user, unless verbose output is requested.

[slivingston]

Several relevant algorithms are implemented in tulip/spec/gr1_fragment.py of TuLiP.

[abadithela]

Hi Scott, I'd like to help with this task if there's still work to be done.