newsynth-0.1.1.0: Exact and approximate synthesis of quantum circuits