Automate Generation of Timed Traces

[mikevaux]

This change is wider than just one plugin, so I have collated the individual PRs here (more information can be found in each individual PR):

robotest-textual
https://github.com/UoY-RoboStar/robotest-textual/pull/5

robochart-csp-gen
https://github.com/UoY-RoboStar/robochart-csp-gen/pull/126

robochart-trace-gen
https://github.com/UoY-RoboStar/robochart-trace-gen/pull/8

[mikevaux]

@pefribeiro I've just pushed an update to robotest-textual and robochart-trace-gen to distinguish a timed traces model in the grammar, and also to meta- information in the JSON formatted output (timing version and max-valid-length for now).

The syntax for how we define a set of timed traces can obviously be changed if you wish, but for now I've gone for cspm timed <name=ID> associated to...