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)
The help text is not worded very well. Avoid "ie" and "NB"! Suggest:

`Whether to restart/replace the machine where this is running. Options are: 'true': <definition>; 'false': <definition>; 'auto': <definition>. Defaults to 'auto'.`

I don't understand your definition of `auto`, could you rewrite it? The highlighted parts seem to be contradictory:
only act at the **machine level** if there is nothing else to restart (e.g. there is **no machine**)