Percentiles aggregation.

A new metric aggregation that can compute approximate values of arbitrary
percentiles.

Close #5323
Fix test bug: a too low compression level can make accuracy terrible.
[DOCS] Java API JSON typo