docs: add paragraph about KLEE_RUNTIME_LIBRARY_PATH

Hi,

this is a follow-up pull-request for https://github.com/klee/klee/pull/178

Thanks,
Marek

----

Explain how KLEE searches for run-time libraries and how it
can be customized