A coloured diff implementation in Python, compatible with SVN diff