All plugins should come without options.xml. It is only when you click save options that this file is generated. If I included the options.xml in the install, then an upgrade would overwrite your settings, which would be undesirable. Sometimes I might accidentally include this file in the installer when copying files from my test folder to the installer folder, but I try not to.
In any case, I don't think the robobrowser uses any options.