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)
Why is `AUTO` not supported in this case? A comment would be helpful