Remove TimestampsWriter interface
TimestampsReader: use FileInputStream instead of RandomAccessFile
Simplify handling of time shifts in TimestampsReader

Due to 4ec6bacdaa2c4dbd61fe3feb448c374ec30e1048, the time shifts can no
longer change while reading the timestamps.
Have TimestampsAction read the timestamps in batches