clean up GROneMain; add symbolic strategy generation to GROneGame; enable BDD export