Z3求解器和LLVM+Clang安裝配置方法

Z3安裝：參見博文：

https://blog.csdn.net/weixin_39408343/article/details/102771823

LLVM+Clang的安裝：參見博文：

https://github.com/SVF-tools/SVF/wiki/Build-LLVM-and--Clang-from-source-code

注意：LLVM編譯時耗費內存，耗費時間很長，需要耐心等待。