Better way to deal with time scale factors: we assume them to be 1.0 and
possibly adapt them automatically behind the scenes. By re-adapting the
values after modifying the seconds/step value (when we are checking the
model parameters and the possible presence of zeroes or numbers too big
in the resulting UPPAAL model), we ensure that the models created with
ANIMO 2.x still work correctly in ANIMO 3.
The seconds/step setting is no longer directly accessible by the user
with the button (of course, it can still be modified in the network
table). We will just trust the automatic choices to be fine.
In order to still allow the user to choose the proper "time scale" for
the model, I added the EdgeRescaleKContextMenu context menu for edges:
when one (or more) edge(s) is rescaled, its/their k parameter(s) is/are
multiplied by the user-input scale factor, resulting in rapid rescaling
of (parts of) the model.