Possibly allow retry only for last goal

[leuschel]

We could restrict retry and cut to the last goal.
This would simplify the call-architecture (no call-back to the server-loop from other modules)
and save space (for pending choice points).
Typically one only uses retry for the last query/goal.

[pmoura]

Looking forward to this change. I also only retry or cut the latest goal.