cmake STP examples

klee/klee cmake/find_stp.cmake :15 

find_package(STP CONFIG)