Allow setting MENUS_PAUSE via config file

In addition, always pause when the exit menu is visible, regardless of
MENUS_PAUSE's value.