Fix #1118

Pass command line parameters to php processes used for @runInSeparateProcess annotations as given in the XML config