Msat 0.6

This release comes with full documentation and some new features:

• An already instantiated sat solver available in the Sat module
• A full_slice function for running possibly expensive satisfiability tests (in SMTs) when a propositional model has been found
• Forgetful propagations: propagations whose reason (i.e clause) is not watched