Besides IDetector::addMask (called from Python), also provide addBinMask (called from GUI). This resolves #724.