license change
removed modules, with an update to lib.mllib;
new module Ctx that manages the current ordering, signature, with
type inference facilities, etc.
Updated most modules (but the main one) to use Logtk properly