Drop stale CVS tags

These were leftovers from the import of the CVS sources into git.