Optionally map upstream group names to local group names

Some providers refer to groups not by their names, but only by their IDs, which are sometimes UUIDs, as it is the case with Azure. A group map setting allows to map these UUIDs (or any other identifiers) into group names we expect, and to ignore unknown groups.

The mapping is only performed when the setting is specified.