diff3(1): Rewrite Makefile by using SCRIPTSMeanwhile, rename the script "diff3" to "diff3" to work with SCRIPTS.