fix crash in gproc_pool:defined_workers/1
Merge branch 'master' of github.com:uwiger/gproc