diff-lib: tighten show_interdiff()'s interface