Restored lost version histories for those moved files by doing a manual `mv' in

the CVSROOT on mhost.  CVS badly needs a `cvs mv' command so that you can move
files (without having physical access to the CVSROOT) without losing versioning.
Put MACHINES back at the top level as it needs to be read before building.
Fixed DIST variable in {.,docs}/Makefile.in to reflect that and to add missing
entry for "INSTALL" file.