Updated DTM library to 5ac5e173 (observer branch)

This brings massive performance improvements for incremental scanning
(on corpus change), and therefore fixes #35.