'Ponder' highlighting implemented (including changes to Board to make it
possible). Bot threading system improved.