Travis update to use my version of Z3.