v0.2

Along with a few bugfixes, this release brings the following some new features:

• push/pop operations
• access to decision level when evaluating literals

There have been some refactoring of code and some changes in internal modules, some of which visible in exported interfaces, so expect some breaking changes. More precisely:

• the Log argument has been removed from functors
• instead, log capabilities are now ensured by the Msat.Log module, which is current implements inlined dummy functions, effectively negating any costs (as well as the logs)
• All the functors now take a dummy last argument to ensure the solver modules are unique