Some DofMapBuilder clean-up, remove some old code.