Missing concrete simulator trace extension in file formats overview

[magoorden]

The page https://docs.uppaal.org/toolsandapi/file-formats/ provides an overview of the used file formats and extensions, but this overview is missing the concrete simulator trace file extension .uctr. This file extension is mentioned on the page about the concrete simulator though https://docs.uppaal.org/gui-reference/concrete-simulator/simulation-control/.

As a Mac user, I need to provide the correct file format myself, see UPPAALModelChecker/UPPAAL-Meta#188. So it would be helpful to have all possible file extension on the file formats overview page.