Allow specifying extra options to the Java cmdline.

Among other things, this enables callers to configure HTTP proxy
via environment variables.