Add Z3 build instructions