updating version information
Adopt testcase for overlapping spans, since we get more matches after fixing a
problem with overlapping spans.
There occur a strange timeout in the non reflexivity tests of pcc2.

fixes #213