Remove DiffChecker

As discussed in #170, the DiffChecker is removed from the Praktomat. It
was dead code anyways, historically intended to provide
feature-completeness with regard to the “Old Praktomat”, but never
completed or used.