optimization update
Merge branch 'master' of http://github.com/tpadoan/IAMinesweeper.git
new Bot version 1.0 completed!!!
Now with unbelievable speed up!! :D

Entirely new algorithm for the satisfiability check:
first mapping mines around known constraints,
then checking the presence of enough unconstrained cells to place
remaining unmapped mines.