[m-rev.] for post-commit review: implications of profiling options

[Peter Wang]

On Tue, 13 Oct 2020 08:44:39 +1100 "Zoltan Somogyi" <zoltan.somogyi at runbox.com> wrote:
> I would appreciate it if someone would check the correctness
> of the logic simplifications.
> 
> Zoltan.

> Move profiling implications to a new predicate.
> 
> compiler/handle_options.m:
>     As above.
> 
>     Also, simplify some boolean logic.

That looks fine.

Peter