add back diff tool, in order for guys who does not install git