Finally fix bugs in three fold repetiton draw (hopefully)
Be able to change AI thinking time from GUI
Player can undo his move from GUI
Add author information on title bar