add comment about use of --quit-on-warning to Running Tamarin on the Command Line within 003_example.md
add comment about use of --quit-on-warning to Running Tamarin on the Command Line within 003_example.md

katrielalex/manual,katrielalex/manual,katrielalex/manual,katrielalex/manual