Add a option to logging with more detail

I add a option of logging function.
If logging function is executed with `--opt-dex "-logging-detail"`, logging.ml skips `adr_relevant` and logs are added to more methods of a `apk` file.