[cmake] install llvm from sources if build type is different from found in the system
[cmake] install llvm from sources if build type is different from found in the system

seahorn/crab-llvm,seahorn/crab-llvm,seahorn/crab-llvm