Added monotonicity and corner-max heuristics,
added controls to speed up and slow down AI play,
fixed HUGE blunder in aiplayer.js's bestMove(),
fixed issues of Ai button not toggling at the end of game or unexpected game reset.