Settings: fix a typo (wrong setting type)
Results: new MasterResults implementation, using the MoveSelector class.

This avoids calling MoveSelector everywhere in the code.
Remove a useless include
BoardLayout: make a method public, and use it to simplify an assertion
MoveSelector: add a new heuristic (deactivated for now)
MoveSelector: add another heuristic
MoveSelector: add one more heuristic (deactivated for now)
ToppingWidget: fix tab order
Check for new versions, about once a week.

This can be deactivated in the preferences.
Text interface: improve slightly the topping mode