docs: add paragraph about KLEE_RUNTIME_LIBRARY_PATH

Explain how KLEE searches for run-time libraries and how it
can be customized
Merge pull request #5 from mchalupa/master

docs: add paragraph about KLEE_RUNTIME_LIBRARY_PATH