New versions for Z3 and alt-ergo

I've added support for new versions of Z3 & Alt-Ergo to the configuration.

I imagine there must be some vetting for prover versions but I have no idea how that would work.