Simple CLI tools for PHP