PHP library for Supervisord