PLCgen: document 'loopsKilled' variable

The variable is not yet documented in the PLCgen documentation. We should document it, to ensure users know about it. We should explain that they can/should check it, to ensure the control response is completely computed.

Addresses #679