added optional per-game settings

call button 'game settings' only when modifying game-only settings
make the user confirm deleting settings
add an indicator to games when they have game settings

add slightly irregular *.zim files for now
(has some symbols from DejaVuSansCondensed and an extra symbol)
Merge pull request #7183 from Bigpet/pergamesettings

per game settings