Remove quotes from AE no-main CI regex (#1827)

* Use plain AE no-main CI pattern

* Adjust Codecov project target

---------

Co-authored-by: bjjwwang <bjjwwang@github.com>

Merge pull request #1778 from bjjwwang/master

fix llvm version

Update README.md

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