pass -Dproc_reef property to all REEF java processes.

Also, minor refactoring of the launcher code. Closes #347