Allow specifying extra options to the Java cmdline.

Among other things, this enables callers to configure HTTP proxy
via environment variables.
Merge pull request #38 from maginatics/extra-java-opts

Allow specifying extra options to the Java cmdline.