Separate signals for game completion and won games

Since we now have a "Solve" menu option, these are two different cases.
Game completion triggers things such as disabling actions which are only
valid during a running game, stopping timers, removing highlights, etc.
Game won in turn triggers high score handling.