Updated installation instructions for Z3