a php command line argument parser