added files to GIT that were never in RCS (and I can't remember why they were not there, or if maybe they should not be there on purpose)