[m-rev.] for review: Enable non-tail-call warnings for?mutually-recursive code

[Paul Bone]

> Post-commit review of Paul's recent commit.
> 
> compiler/dependency_graph.m:
>     Name the lambda predicate. Add module qualification.
> 
> compiler/mark_tail_calls.m:
>     Use separate, independent options for warnings about non-tail recursion
>     for self- and mutually-recursive calls not just in options.m, but in the
>     internals of this module as well. This simplifies the code.
> 
>     Clarify the code for pragmas overriding the options.

I hadn't finished editing this file.  I said that I hadn't finished, but
would be soon, in response to your review.  I have a similar change
currently bootchecking and intended to commit it this evening.


-- 
Paul Bone
http://paul.bone.id.au