library/bintree.m:
library/bintree_set.m:
library/graph.m:
library/group.m:
library/relation.m:
library/svrelation.m:
	Delete these files: they are no longer needed.
	(Previously, when using CVS we didn't delete them
	in case we needed to reuse them, but that no longer
	applies.)