newsynth-0.4.0.0: Exact and approximate synthesis of quantum circuits