New probability-based AI.
Merge branch 'minimax' into gh-pages