Moved everything SMT-related to LLVM and updated the cmake scripts.
Differential Revision: https://reviews.llvm.org/D54978
This patch breaks Windows build (for almost a year already).
This was reported almost half a year ago, see https://bugs.llvm.org/show_bug.cgi?id=43464.
The fix is tiny, would you be so kind to to put it there finally?