Cleanup issues

[mschubert]

• pool$cleanup() should try to cleanly shutdown, only else kill
• resource summary will be only of workers still active at cleanup() stage; keep a finished state in info() to get the real max mem/avg cpu
• return value should indicate whether to kill workers (related: #307)