Split the Options module in two to remove a circular dependency in

Split the Options module in two to remove a circular dependency in
the pretty-printing module:
    Options depends on Logger to have the list of all logs levels
    Logger depends on Options to check whether we are in verbose mode
    or not.
Split:
      Config options holds the references storing the options
      Options only handles the parsing of the command line