Add URL to Z3's license (MSR-LA)

Since Libse is available under a BSD-style license, we do not automate
the build of Z3. Instead, we only reference the README in the Z3 source
code.