Add support for smt-z3 with custom executable name

Created by: jad-hamza

This should allow mixing several Z3 versions in portfolio mode: --solvers=smt-z3,smt-z3:z3-4.8.10,smt-cvc4