* Add version info to installations

* Let's try a newer version?

* Use fixed yices release

* Really? No relative path support?

* Can't handle newer C compilers

Ugh we should really do something about that

* Let's try 3.8

* Back to 3.7

3.6 is EOL soon, so we can justify jumping up to a more recent version, but 3.8 might still be too new for some people.

* Find & Replace 3.6 -> 3.7

* Bump setup-python version

* Fix additional 3.6 usage