v0.3.1

This release contains some performance improvement, especially in Spacer engine.
The algorithm now avoids some redundant work with the solver and also benefits from improved preprocessing.
Additionally, a minor bug in backtranslation of witnesses has been fixed, and a support for backtranslation of UNSAT proofs has been added for the transformation passes that contract nodes.