jvms: Rename options to user_options.
jvms: Rename options to user_options.

Those options are the foundation for calls, keep em safe.

Signed-off-by: Michael Markert <5eb998b7ac86da375651a4cd767b88c9dad25896@googlemail.com>

fhirschmann/penchy,fhirschmann/penchy