Page size + margins menu

• "Auto-resize" menu item
• "Manual resize (editor)" menu item
• "Zoom" menu item
• "Manual resize (mouse)" menu item
• "Save coordinates" menu item
• "Load coordinates" menu item
• GGU-STABILITY2: "Page size and margins" menu item
• GGU-STABILITY2: "Font size selection" menu item