PHP ArgParser; used to parse command-line arguments