Allow specifying extra options to the Java cmdline.

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

Allow specifying extra options to the Java cmdline.