hasmtlib-2.0.0: A monad for interfacing with external SMT solvers