switch to doctests in lib.strategy to make things clearer, and make Domain endianness truly optional by switching argument order in constructor
fix off-by-one error in B0_IS_LSB domains. oops...
fix up State.getLTLRepresentation()
Unify the interface for adding propositions and domains to a StateCollection.  Finish up most of the lib.strategy TODOs and documentation.
bring FSAStrategy up to date with newest Strategy API
strategy output to .dot file works now
oops, FSAStrategy needs to run the Strategy parent class __init__
added execution of strategy as an extension now (can be changed later)
removed all direct access to variables in the strategy object
full modification for adapting strategy.py into execute.py and executeStrategy.py
be able to intialize the execution now