rename TERMINATING to TERMINATED wo have the one reported to backend/monitor to be TERMINATED and teh internale state (former TERMINATED) wich cames when locking was successful to FINISHED (not LOCKED because possible future confusion)

Bump http-proxy from 1.18.0 to 1.18.1

why? because if I pause a (checked) session, and the state changes to PAUSED, the remaianing session in checkedSessions still is not PAUSED and the "Pause"-button stays active which would be wrong.. Although this could have led to other subtile bugs in the future.

endpoints for responses and restorepoints need timeStamp now, not timestamp to resemble the verona 2 standard

restore reporting of PAGES_COUNT and PAGE_NR which are needed by monitor; also fix some bugs about page-reporting

The tagged image will be produced on tagged git commits as well.