Pass through "configuration" command line option to PHPUnit, closes #1439