Update HISTORY.md -- release RocksDB 3.0