DekkerSuffixAlgorithm: made alignment between two block witnesses work
in a basic manner. First two witnesses work now in Darwin integration
test. Switched from pydot to pygraphviz for generation of dot file.