Implement numeric_histogram aggregation function

This is a function for computing approximate histograms based loosely on

    Yael Ben-Haim and Elad Tom-Tov, "A streaming parallel decision tree algorithm",
    J. Machine Learning Research 11 (2010), pp. 849--872.

It supports the following signatures:

- numeric_histogram(bigint buckets, double value, double weight) -> map<double,double>
- numeric_histogram(bigint buckets, double value) -> map<double,double>

The second variant is a shorthand for weight = 1
It actually doesn't create a copy. It re-wraps the underlying array/address/offset with a new Slice. I'll change it to avoid that extra Slice object, though.