newsynth-0.3: Exact and approximate synthesis of quantum circuits