Allow sys or env_vars to be not given to dumpDOT(); update example
Delete apparently unused spec_old() from GridWorld
Simplify solver configuration in polytope.py
TRIV DOC
Update gridworld.extract_coord() to support nonboolean