[mkgmap-dev] Commit r4715: rework of options for reverse merge