display inferred types as information messages

This adds the `--infer-all' switch to the call to `mmc', suppressing
error messages for clauses without preceding declaration. Instead,
`info' level messages are shown displaying the type and mode inferred by
the Mercury compiler.