Remove gitdiff

It happens that I do not use it that much finally, and it has been
here for quite a long time.