A Checkpoint and Restart Service Specification for Open MPI