newsynth-0.1.0.0: Exact and approximate synthesis of quantum circuits