JPFForTesting: add method to create JPF with custom args
JPFForTesting: add method to create JPF with custom args

This will be needed by the next commit, which will check JPF's
behavior with different partial order reduction settings.

Signed-off-by: SZEDER Gábor <46692b1f0516358b02a6405518c0a52aa8fb3e94@fzi.de>

szeder/cJUnit,szeder/cJUnit-dev