clean up GROneMain; add symbolic strategy generation to GROneGame; enable BDD export
typo fixes
switch to 0-1 ADD output
add in instructions for building pycudd, along with patches for ADD loading support + OS X
Add in totally incomplete version of Strategy so Cat can work from the tentative API.  Still contains a lot of FSA chunks that will be removed.
adding totally incomplete BDD class just so it's stashed somewhere