Switch to SMT Kit

SMT Kit is particularly useful for experimental research into symbolic
analysis techniques because it provides an API to various SMT solvers.
SMT Kit's source code and other docs about it can be found online:

  https://github.com/ahorn/smt-kit