Implemented process pool (fixes #7, fixes #8).