Metric adapter

- Adapter to morph any metric with the monotonic property into SeparableMetric
- The adapter (pretty close to the  code of ExactPredicateLpSeparableMetric) is thus a model of CSeparableMetric with O(log(n)) "hiddenBy" predicate
- Doc has been updated accordingly.