snapshot, notably:

snapshot, notably:
- refactoring of modules and classes: added a lot more of constructors
  and singleton instances so that objects that are really singleton
  (e.g. disambiguator, parser, db handle, ...) are not passed between
  functions
  Note that objects that are dependent on whether we are running matita
  or matitac (like the console) can't be made singleton