[Fix] Mermaid gantt diagram scheduler time axis

Time axis displayed only "0 ms", probably due to a Mermaid update. Fix this by replacing "axis format %s" with "axis format %Q".