Replace implementation of linkWithLibrary()
Add missing header file and linker parameter
Extending ./configure with support to use metaSMT.
Merge pull request #39 from hpalikareva/master

Extending ./configure with support to use metaSMT.
Merge pull request #34 from ddcc/master

Replace current implementation of linkWithLibrary()
Remove llvm.trap declaration after cleaning all uses.
Added Output/ and site.exp to .gitignore
Fixed compilation on LLVM 2.9.  irreader should be linked only for LLVM >= 3.3
Compile separate version of fd files for 3.2 as well.
Merge pull request #40 from antiAgainst/intrinsic-trap

Bugfix: Remove llvm.trap declaration after cleaning all uses.
Replaced --libc=klee with --libc=uclibc in two tests (as for https://github.com/ccadar/klee/issues/32) and fixed an #include in one of the tests.