Mergeable Time Series Data

This commit defines a new "TimeSeriesData" message which is used to record time
series data in an efficient way.  It also defines a custom "merge" operation for
TimeSeriesData within our existing RocksDB MergeOperator.

Background:
A "Time Series" is a set of data samples taken from the same statistic at
different points in time - for example, a common use of Time Series is the
recording of metrics for an application. Because of specialized query
requirements and necessarily high write performance, many specialized Database
solutions have been created specifically to handle Time Series data.

In Cockroach, multiple samples of a single statistic will be stored at a single
key; a key will contain all samples taken from a metric during over a well
defined time period such as a wall-clock hour. Based on our research into other
TS database solutions, this grouping is very effective in improving read
performance.

High write performance is enabled by creating a custom Merge operation for Time
Series data.  Whenever metric data samples are written, a Merge operation is
utilized instead of a put; for example, a single metric source will merge
samples into the same key at several points over the course of an hour.  The
resulting "merged" value will appear as if all samples had been written together
as a single value.
I’m not saying put it in the TimeSeriesData object. I’m just wondering if there’s logic that handles the case of mixed precision. I could see a silly developer like myself messing that up :)