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