Better getopt library for PHP