XFEM: Improved implementation of giveDofManDofIDMask(). Also made some
speed-up.