some tools for maintenance of the library.

tx: transfer a file to ../predicates, checking to see if
	it already exists.

filer.pl: predicates to print interpreted predicates to files,
	one per file.

xref: the Edinburgh creoss referencer.
