docs: rename the RocksDB HISTORY file (#100)

Since we have our own changes, it doesn't make much sense to continue
using the RocksDB file. We would like to have our own tracking of changes
in Speedb in a separate file, so this change renames the RocksDB file in
preparation for creating our own file.