Play - infinite button is broken after execution is paused

[dufour]

After the execution is paused (e.g. by single stepping, or executing a pause() statement), the "play - infinite" button executes 257 steps before pausing, rather than executing until the end as expected.

[dufour]

I added a workaround, but the handling of execution states is broken at the moment. I believe that we are missing some 'executing' state to make it work properly.