untested implementation of deterministic left-to-right binarization
cosmetics
left-to-right binarization fully added (untested)
binarization (left-to-right) finished
Merge branch 'master' into binarization
changed implementation of infinite iterator for unique labels
small changes