newsynth-0.2: Exact and approximate synthesis of quantum circuits