Attempt to convert to the new Ordering class
Merge branch 'master' of github.com:eseidel/saycbridge
More fixes for ordering
New implementation of Ordering with networkx
Complete refactor to use new Ordering and new Enum (for speed!)
Merge branch 'master' of github.com:eseidel/saycbridge into ordering

Also fix spelling error

Conflicts:
	src/z3b/rules.py
	src/z3b_baseline.txt