Fix documentation markup for tracer
Fix documentation markup for tracer

The unordered list wasn't rendered properly due to a missing empty line
before it. Purely editorial change.

AmbiML/ibex,AmbiML/ibex,lowRISC/ibex,AmbiML/ibex,lowRISC/ibex,lowRISC/ibex,lowRISC/ibex,AmbiML/ibex