ISLocalToGlobalMapping: proper handling of multiple global indices per process
Implement binary load/dump
Needed by !7329 (merged) and !7383 (merged)
Edited by Stefano Zampini
Implement binary load/dump
Needed by !7329 (merged) and !7383 (merged)