PySMT: a Solver-Agnostic Library for Fast Prototyping of SMT-Based Algorithms