Update CMakeLists.txt

SVF code formatter

Merge pull request #1311 from bjjwwang/1230

remove string include

Merge pull request #1148 from JoelYYoung/nullptr2

Nullptr2

Merge pull request #981 from seviezhou/patch-2

Fix a bug in wrapper detection

Merge pull request #774 from tandf/llvm_global_ctor

llvm.global_ctors/dtors

Update README.md

Merge pull request #502 from luhsra/z3-cmake-fix

cmake: build correctly with globally installed z3

Merge pull request #455 from lukekoko/remove-generate_bc-from-build.sh

Remove generate bc from build.sh

Merge pull request #455 from lukekoko/remove-generate_bc-from-build.sh

Remove generate bc from build.sh