Zaslat SMS: Automatic sythesis of quantum circuits