2013-03-03-19.20.14: Pervasively:  Changed   released under Gnu Public Licence version 3    to   released per terms of SMLNJ-COPYRIGHT   in 1974 places. :-)   Also removed obsoleted src/c/check-for-gtk.