In the merge label option, made sure that the label file that will be merged is read in as "labels" in pyminc to ensure that the output file has the correct min/max. Added the option to mask out part of a segmentation. The segmentation will be erased in all areas where the mask has a value larger than 0.5.