Update time independent of `UpdateProcess`?

[FriedrichRober]

Is it possible to update the terminal while GAP commands are executed via some background process?

[FriedrichRober]

If this isn't possible, then one could add a function UpdateProcessTimer which updates the timer, but doesn't increment the step counter.

[FriedrichRober]

Currently the later suggestion is implemented via RefreshProcess.