Renaming SlaveDofs to AuxiliaryDofs.
I propose to rename the class SlaveDofs to AuxiliaryDofs for some convenience. It's more depictive then the current name.
The transition will be sooth, a deprecated method with the old name will be provided. Any comments?