Debugging tutorial for StatET

Here is a brief introduction to the visual debugger of StatET, which I find very useful.