I need to need to merge two sets of CLI options, and then pass the result to an external program (in this case, PHPUnit). The first set comes from a config file, and the second
