Log Message:
py-smt: update to 0.9.5

From the release notes:

Intermediate release that collects 2 years of bugfixes and improvements.

Python 2 was deprecated in version 0.9.0, and this version removes the use of \ 
compatible code for that version.

What's Changed

* Add support for boolean-typed array in the AtomsOracle by @mikand in #644
* Switched from nosetests to pytest by @mikand in #662
* Fixed a bug in yices quantifier support and added regression test by @mikand \ 
in #657
* Fix Boolector install script by @4tXJ7f in #656
* BUG: define UFNIA as logic with integer arithmetic by @johnyf in #659
* Handling of algebraic constants in simplify by @EnricoMagnago in #658
* Integer div by @EnricoMagnago in #667
* Fix CVC4 installation on macOS by @kammoh in #666
* Bug in times distributor by @EnricoMagnago in #671
* Fixed reset_assertion method for incremental-tracking solvers by @mikand in #672
* Minor Corrections by @mfarif in #673
* implement add_assertions method for solver. by @EnricoMagnago in #679
* Fix "get_model" when called from a generic solver (Fix #674) by \ 
@btwael in #675
* Remove six and python 2 compatibility code by @marcogario in #684
* Added fallback to Swig3 to address as much as possible issue #682 by @mikand \ 
in #685
* Fix to correctly pass logic to solvers started by Portfolio by @ekilmer in #683
* SmtLib model validation support by @mikand in #681
* Fix iss694 by @EnricoMagnago in #695
* Fixed CVC4 installer after upstream repository renaming by @mikand in #697
* Remove call to FNode.substitute in SmtLibExecutionCache by @EnricoMagnago in #699
* Added printing of annotations to smt lib printers by @agirardi-fbk in #703
* Integer div by @EnricoMagnago in #705
* Updated docker images to solve deprecation issue on azure pipelines by @mikand \ 
in #706
* Workaround to fix Z3 segfault by @mikand in #713
* Add possibility to use several BV operators as left associative by \ 
@agirardi-fbk in #714
* Fixed issue #613 by @mikand in #710