Changes

• Oracle can now teach some divination spells.
• When exiting the app, the game now checks if the game thread is still alive, and if so, terminates it gracefully.
• Various other bug fixes.