add diff.py (highlighted diff for 256-color terminals)