Domain: Added map from an elements label to its location in the element
array.
Element: Made giveDofManArray() const.
XFEM: More speed-up.