graphical front end to Unix diff
