[m-rev.] --no-line-numbers by default for us

[Peter Wang]

On Tue, 08 Dec 2015 18:54:51 +1100 (AEDT), "Zoltan Somogyi" <zoltan.somogyi at runbox.com> wrote:
> Would anyone object to committing this diff?

Will disabling line numbers not hinder writing of foreign code?

I don't know why we produce so many #line directives for high-level C
though.  It should be enough to emit them around hand-written foreign
code.

Peter