PHP command-line interfaces made easy