two changes:
1. add a lib which called xPath(PathAnalysis) in klee for test. and the
code is empty in file. just a test function that could be called by
klee-main.
2. change the klee-gcc, the details in klee-analysis.md, please check
it.

Signed-off-by: xqx <xqx@gmail.com>