[mkgmap-dev] documentation of new option in branch