newsynth-0.4.1.0: Exact and approximate synthesis of quantum circuits