[PATCH] gitk: Handle 'copy from' and 'copy to' in diff headers.