Removing "$Id$" lines

[Rainer Müller]

On 2016-11-01 19:43, Lawrence Velázquez wrote:
> In any case, the proposed set of commits is utterly unnecessary and is
> not worth any of this fuss.

I do not want to keep commenting on every single submission that it
needs to remove the $Id$ line. This should be done as one commit and we
would never see it again.

If I had anticipated that this would cause such a problem because of the
buildbots, I would have insisted we remove $Id$ during the repository
migration...

Rainer