Remove old CVS $Id tags, they are not needed anymore.