A command-line option-parsing class for PHP