Issue #24109: Include Tools/scripts/diff.py instead of duplicating it in difflib documentation.

Patch by Keith Gray.