Global DOFs map from index_map.local_range in MPI

This is it! For those looking, the solution is in post 4 of Stein’s thread. Dokken’s solution additionally works. Thanks all!