docs: def get_options(self):
          """Get the options that have been set.
  
          Called after the user has added all their own options
          and is ready to use the variables.
  
          """
          (options, args) = self.parser.parse_args()
  
          # Set values from .visdkrc, but only if they haven't already been set
          visdkrc_opts = self.read_visdkrc()
          for opt in self.config_vars:
              if not getattr(options, opt):
                  # Try and use value from visdkrc
                  if visdkrc_opts:
                      if opt in visdkrc_opts:
                          setattr(options, opt, visdkrc_opts[opt])
  
          # Ensure all the required options are set
          for opt in self.required_opts:
              if opt not in dir(options) or getattr(options, opt) == None:
                  self.parser.error('%s must be set!' % opt)
  
          return options