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
modified simGUI so that strings without the keywords specified can be printed in the simulator
working version of execution with new strategy.py. still have to implement that for fastSlow
accomodated changes to comments from Cameron.
Merge remote-tracking branch 'cat/upstream/fastslow' into bdd_strategy

Conflicts:
	src/lib/specCompiler.py
make _autIsNonTrivial() work with BDDs too
make execution auto-select between .bdd and .aut strategy file based on proj settings