Remove some old DofMapBuilder code.