Fixing commit of Nov 7 14:37:37

- 'dmtcp_launch -i5 a.out' did not checkpoint when automatically
    creating a new coordinator;  this is fixed now.