From: Kim Nguyễn <kn@lri.fr>
Date: Sun, 21 Oct 2012 07:43:52 +0000 (+0200)
Subject: Split the Options module in two to remove a circular dependency in
X-Git-Url: http://git.nguyen.vg/gitweb/?a=commitdiff_plain;h=798507d52a5c11a6d852740056464241538fe76a;hp=798507d52a5c11a6d852740056464241538fe76a;p=SXSI%2Fxpathcomp.git

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
---