Use process group signal handling to reach past the shell#1126

twhitehead wants to merge 1 commit intoplumed:masterplumed/plumed2:masterfrom

twhitehead:mastertwhitehead/plumed2:masterCopy head branch name to clipboard