deliberation player cuts search short at reward 100
Merge branch 'master' of github.com:JiajiHu/ggp-base
small changes
merging