(Binary Simulator) Clone detection verbosity via --verbose switch
(Binary Simulator) Better error message for unpatched CloneDetection
(Binary Simulator) Partial revert of 34bd187de16eeb7510f26ffefe99269f26802010

That commit should not have added the #include directive to this file. See
the CloneDetection.patch instead.