Added and reworked several game options
Reworked no_animations
Added zoom option to change the dimensions of the board
Added colors option to toggle between 16 colors, 256 colors and 16-bit colors
Changed the way the app preserves the options from one game to the next. It's all done in $app->new_game now. So the best_score option is also handled differently
zooooooom
Merge branch 'master' into ai
Updated to work with changes from master