Add support to check-diffs.py for the @Include directive