PHP shell scripting tool (a PHP-based shell scripting framework)