Added DoubleIntervalMap. Like LongIntervalMap, but using doubles. Updated documentation in places.