Configurable step names for better test readability

[raulmonti]

It would be nice if we can statically or even better dynamically assign names to the RUN steps in the model. Then, we can use these names to make the resulting tests more readable. Currently, the test steps get the name from the step type and some number to avoid collisions. But step type does not tell much about the goal of the step.