Estimated hours taken: 0.75

Fix various problems, mostly minor, with the README* files.
The most significant of these was that the ftp sites listed
in the README file in the binary distribution were out-of-date.

README.Linux:
	Fix a typo.

.README.in:
	Mention some new README.* files.
	Update the version number and copyright dates for the Boehm GC.

bindist/bindist.README:
	Update the version number and copyright dates for the Boehm GC.
	Update the ftp sites.  Update the copyright date.
	Update the file names for the Mercury standard library and
	runtime library.

bindist/Mmakefile:
	Include the files README.OSF1, README.Linux-Alpha, README.Linux-PPC,
	and README.Solaris in the binary distribution.

bindist/bindist.README.Linux:
	Update to match the changes to README.Linux in the source distribution.

profiler/mercury_profile.m:
	Update the copyright date printed by `mprof --help'.