Changes to make Codevis compile with most of Ubuntu20.04 packages
Those packages need to be downloaded from somewhere else:
- LLVM17 (There are official packages on the community)
- Cmake (Ubuntu 20.04 cmake's version is too old)
Important note:
- Some plugin-related features are currently DISABLED