Reload current map by shortcut (Proposal)

This comes in handy, if the map was edited by external editors.
This pull request is not yet completed, but rather a proposal on how to implement it.