Update cbmc-tutorial.md

The next command also needs bounds and pointer check flags (--bounds-check --pointer-check)

Author: sakehl

doc/cprover-manual/cbmc-tutorial.md

@@ -134,7 +134,7 @@ To simplify further processing of counterexample traces, CBMC supports XML as a
 possible output format.
 
 ```
-    cbmc file1.c --trace --xml-ui
+    cbmc file1.c --bounds-check --pointer-check --trace --xml-ui
 ```
 
 The specification of the XML trace output can be found here: [XML