Maps and Compasses give Dungeon and Boss locations

[GSKirox]

Solves #1219.

This PR enhances the existing toggle "Maps and Compasses give information" to a multiselect with four different options.

First and last have the same effect as the old toggle, but can be now applied independently.

The other two add new features for the maps and compasses : dungeon location in dungeon shuffle, and boss location in boss shuffle.
This information is given :

• When you find the corresponding map/dungeon of the dungeon, in the textbox

• In two new menus in pause on the map screen if you press Dpad left for the entrances and Dpad right for the bosses

These menus will fill as the maps and compasses are found (or be already full if maps are given at the start), except for the dungeons without them which just put the information right away.
The map menu also list the boss information for convenience, but only if both map and compass for the respective dungeon have been found.

Additional notes :

• I had to bump up RANDO_OVERLAY_DB_SIZE in gfx a bit to make this fit, even with the shorter names.
• The function update_map_compass_messages is atrocious to read. I'm sorry. The saving grace is that i moved this code to Messages.py instead of adding even more to Patches.py.
• The C menu should be compatible with mixed pools. In this case, the two menus will list instead the areas where every dungeon/boss are.
  There is some commented code in Patches.py that is intended to handle it, but it doesn't work for decoupled, and it will need shorter names for all Hintarea.

[fenhl]

Sorry for the notification spam, I keep forgetting why this is labelled waiting for author: Boss location info is going to be moved to compasses, see conversation starting at https://discord.com/channels/274180765816848384/438697911753113600/1419704545478705343 for context.