Replace stub module for interaction with Z3Py

* Add the python interace