[Feature Request] Include the operationId in metadata and results

💡 Idea

Many OpenAPI definitions include an operationId field for each operation that specifies a more concise name for the operation than the method+path combination. The OpenAPI spec does not require operationIds but when present they must be unique.

RESTler should capture the operationId of an operation when present in the definition file and include it in output like speccov.json to allow users to deal with concise names when analyzing results.

Design Notes

No response