PHP Tools for managing command-line