A PHP option parser based on getopt()