Add Python docstring to GenericDofMap::local_dimension.