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)
Could this cause a machine to be rebooted twice? If this is logically impossible then a comment to make that clear would be helpful.