Add toggle to automatically hide overview map
We need this feature still in Builder's GTK 4 port, to automatically hide the overview map based on mouse motion and/or typing state.
It should probably follow fairly closely the semantics of the overlay scrollbars, but not quite the same as we need to work on smaller screen sizes.
It would be nice if this were implemented as a container widget we can share with Builder.