Install diff3.ksh with the correct name; noticed by Theo

A matching diff3 from 32V w/ some UCB changes. I cleaned this up a bit
(KNF and -Wall) and rewrote the shell front-end.