newsynth-0.2.0.1: Exact and approximate synthesis of quantum circuits