Document the klee_opts and kleaver_opts parameters for llvm-lit.