ÂartusRepositoryDiff.py: added script to make git diffs between artus outputs