new evaluation method - experimental
cleaning up, repairing transitive closure - now uses levels of neighbors
instead of all positions iterally as intermediate nodes
changed handling of winning conditions - as one bdd not as three separately
fixed handling of black and white - thus the evaluation can be done on the complete formula for win, not on the three subformula; changed accepted games from all havannah to havannah size 4 only
new version 0.2 released