Removed unnecessary/redundant linking of library boost_thread-mt to klee and kleaver.