fixed a bug in JumpStep around while-do implementations. If you jump-forward, you do no increment the loop counter. If you jump-back you do increment the loop counter. Added a test case. Also worked more on the TP3 documentation.