PHP library for parallel shell commands execution