One last tweak to OptimalRobotsPlayer, for now

This change makes it do something slightly more intelligent:
progressively searching each depth for the best solution, and stopping
after finding one. On easy cases, running time will be much faster
(takes about 90 seconds to do easy_test_board) but it is still very
inefficient in harder cases.