docs: added an example for --smt
docs: added an example for --smt

[skip travis] [skip appveyor]

touist/touist,olzd/touist,FredMaris/touist,FredMaris/touist,olzd/touist,touist/touist,touist/touist,olzd/touist,FredMaris/touist,touist/touist