added sdmf3.0 pixelmask differences tool compare_pixelmasks.py. added safety against overwriting of production vardark db. minor bugfixes.