newsynth-0.3.0.4: Exact and approximate synthesis of quantum circuits