fix: LTE inequality reversed
[Huf_hist] greedily compute ordinal feature histograms

This module uses a greedy online version of the the Huffmann
algorithm to compute the optimal histogram of a numeric feature.
using module Huf_hist to downsample features whose cardinality is above the feature cardinality cap.  Huf_hist is cleverer than the previous approach, with improvement increasing with the skewness of the feature distribution.
documentation and 'stylistic cleansing'
fix: when search for features by name, consider the possibility that several features satisfy the search, as feature names may not be unique
newline
using tailrec List.map_rev
got rid of 'shrink-first-tree' option, as it makes zero sense.
got rid of unweighted importance scores (because one could always artificially boost that score by representing a single tree in the ensemble with N trees, where each tree's leaves have 1/N-th the value)
Merge branch 'master' into distributed

Conflicts:
	OMakefile
eliminate FeatureNotFound execption; it isn't needed
Merge branch 'master' into distributed