Configurable exit mode, to be more friendly to make files.

Suggested by: Bob Lewis <bobl@tricity.wsu.edu>
Include the input file name on #line directives.

Suggested by: Bob Lewis <bobl@tricity.wsu.edu>