Patch-LLVM: use github version
Patch-LLVM: use github version

For development purposes, we may modify to use a local copy but
let's only commit changes that use the github version.

project-oak/rust-verification-tools,project-oak/rust-verification-tools,project-oak/rust-verification-tools,project-oak/rust-verification-tools