static options, so a reset does not reset the options

It's just a simple annoyance and not a very elegant fix, but it prevents e.g. soot-infoflow from resetting all options (such as custom loggers) upon G.reset().