[fix] Manifest format fix for non-mpi libnrm instrumentation.

Removes the need for libnrm "instrumentation" attribute in manifest when
downstream manual progress report is used.
23 jobs for split-instrumentation-manifest-options in 8 minutes and 31 seconds (queued for 1 second)
latest