Describir: Automatic sythesis of quantum circuits