Write about LLVM in introduction and background

[Mark Hakansson]

Todo

• Write about LLVM IR from Rust code
• Write about how KLEE works on LLVM

Context

LLVM is an important part of this project, it makes KLEE able to work on Rust programs. Therefore it should be mentioned.