lib/scripts/system.pl
2009-12-28 ago pid without newline -- required for Scala version of system_out;
2008-12-20 ago removed Ids;
2008-02-21 ago removed junk;
2008-02-19 ago replaced setpgrp by more elaborate setsid;
2008-02-18 ago system.pl - invoke shell command line (with robust signal handling);