docs: add paragraph about KLEE_RUNTIME_LIBRARY_PATH

Explain how KLEE searches for run-time libraries and how it
can be customized