Added some information about getting Z3 to work.