Merge pull request SVF-tools#774 from tandf/llvm_global_ctor

llvm.global_ctors/dtors

Update README.md

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

cmake: build correctly with globally installed z3

Merge pull request SVF-tools#455 from lukekoko/remove-generate_bc-fro…

…m-build.sh

Remove generate bc from build.sh

Merge pull request SVF-tools#455 from lukekoko/remove-generate_bc-fro…

…m-build.sh

Remove generate bc from build.sh

Merge pull request SVF-tools#380 from benquike/master

Add .editorconfig

Merge pull request SVF-tools#343 from kisslune/master

svfg builder

remove duplicate builds in CMakeList.txt

Fix uniqueFunRetNode error

small fix