Add name hashing for MPS and SOL/MST formats to allow support for larger
graphs.