[m-rev.] for possible review: print unused arg pragmas in intermod.m

[Julien Fischer]

On Thu, 17 Sep 2015, Zoltan Somogyi wrote:

> This moves the last piece of code that writes to .opt files
> to intermod.m.
>
> The only part that could benefit from review is the big new comment
> near the start of unused_args.m.

I assume you actually mean the big new comment at the start of
intermod.m there ;-)  It looks fine.

Julien.