Prevent duplicate regions in a continent

Before a region is added to the list of regions of a continent, a
check for duplicates is performed. If the region is already part
of the continent, it won't get added again.