subtree merged in analyzer
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.
changed the python scripts
add script to calculate the actual-time linearization
Merge branch 'master' of github.com:cksystemsgroup/zeta