remove '$Id$' tags

(not expanded by Git)