Make a tiny simplification to the parameters section HTML output

[d-ronnqvist]

Bug/issue #, if applicable:

Summary

This removes the unnecessary <code> elements inside of the parameter section's <dt> element(s) in the HTML output.

Because all <dt> elements in the parameters section refers to the name of a parameter it's not necessary to have both elements:

• In the concise output a tool only needs to know the name of the parameter.
• In the rich output, the rendered page can use #parameters dt instead of #parameters dt code in the CSS that styles the parameter name.

Dependencies

None

Testing

Nothing in particular. The updated test verify this behavior.

Checklist

Make sure you check off the following items. If they cannot be completed, provide a reason.

• Added Updated tests
• Ran the ./bin/test script and it succeeded
• Updated documentation if necessary

[d-ronnqvist]

@swift-ci please test

[d-ronnqvist]

@swift-ci please test