Remove obsolete files

These got brought in again when merging in the old Subversion history
(da0673be7656e6a3b094942903806376462c1884).