Provide IDetector::addBinMask to resolve #724.

Joachim Wuttkerequested to merge
j.724k into main

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

Merge request reports