timestamp linearization points of queue operations of a lock-based queue
changed the parser to the new logfile format
There was a bug, see test case test_null_return6. The response of the corresponding enqueue is used now as the second order criteria. With that we also have to consider prophetic dequeues.