Support Klee out-of-the-box

[mbg]

It would be good to automatically generate entry points that are compatible with Klee. Alternatively, we could support generating a library of some form that can then be consumed from a C program. (Or both.)

[aquynh]

yes, support for Klee can be specified via cmdline option?

the same can be done for the library idea.