jtlvint.check_gr1 is dead.  Long live canonical syntax!
TEST: gr1c interactive session: getvars
TEST: gr1c interactive session: reset
TEST: Unit tests for several MathSet operations
bugfix: MathSet add tuples only once
TEST: Improve coverage of transys.mathset
TEST: Improve coverage of transys.labeled_graphs; unlabeled stuff
TEST: Begin LabeledStates, and ops for States
TEST: Reorganize transys test files
updated docstring in merge_paritition_pair
subclass FTS, OpenFTS from LabeledStateDiGraph
support multiple env_actions, sys_actions types in synth
Merge branch 'test' of https://github.com/tulip-control/tulip-control
Merge branch 'master' into switched
Merge branch 'switched' into labeledgraphs

Conflicts:
	tests/transys_test.py
paste LabeledDiGraph test which was rm during 5a3b4819b8a97d46d750fca8b3a7cbc8c797ee2f
update imports for LabeledDiGraph test
removed pdb.set_trace()
rm Transitions.between test, because method was deleted
update test for LabeledStates.find to keyword rename: desired_label -> with_attr_dict

add same test for node attribute dict keys now recognized as keyword arguments by LabeledStates.find