Simple command-line interface for PHP