allow parameters for restart effector, including children and the machine for SoftwareProcess.restart;

if this model is sensible i'd like to apply it more widely to effectors, to allow parameters to tune behaviour.
(eg for stop, to allow controlling whether it is the machine or just the process which is stopped,
and on start, to allow forcing reinstall)
Probably breaking deprecation policy here:

1. By marking it final, we've caused compile errors in any downstream code that tried to override it
2. Even if it wasn't final, since nothing calls it any more, we've broken the contract with any code that tried to override it

If we can't follow the deprecation policy and we need to make an exception here, then I think the exception should be to just remove it completely?