Board Setup and bot play from position

[Richard]

For 2.5.4 and below, board editor AI was set to 8.
Starting with 2.5.5, board editor AI is set to 11.