Initial version for installing newer KLEE

First version of instructions for installing new version of KLEE.

Highlights:
* no compilation of LLVM needed!
* up-to-date repositories

Probably some requirements are missing.
But we can check this - it's a start.