refactor GRSpec.__or__
add new function get_vars from AST
add conversions from stability, response, eventuality to GR(1)

and their unit tests
DOC: List pydoc as another doc possibility in README

...and minor style change, to improve appearance in plaintext
(non-reST) viewers.
TEST: Generation of version strings
warn that stability cannot be completely converted to GR(1)
add conversion of (p until q) to GR(1) and unit test
DOC: Correct return type in docstr of synth.fts2spec
DOC TRIV
DOC: Distinguish gr1_set.py from gr1.py.  Update filenames in comments.
docfix: add release operator
pep8
replace "" by '' strings

for several cases " does not need to be escaped
bugfix: operator not always defined

parent class should be agnostic of children details
avoid errors due to local import out of package
accelerate transys import

by only conditional import of graphics
add syntax check for LTL fragment convertible to set BA, so GR(1)
Merge branch 'strategy' into convert_gr1

Conflicts:
	tulip/transys/labeled_graphs.py
bugfix: missing import inside function

introduced in f11bf19765b707b2e3861d819ed887b9912d763a
import matplotlib and python only locally inside functions

to reduce running time