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
Merge branch 'test' of https://github.com/tulip-control/tulip-control
Merge branch 'master' into switched