xsldbg is configured using arguments passed via the command line and its setoption command