Update HISTORY and bump version

Bump version to 6.1.2

History and version updated to 6.0.2 for Java compilation fixes.

Fix a bug in GetOverlappingInputsRangeBinarySearch (facebook#5211)

Summary:
As title.
Pull Request resolved: facebook#5211

Differential Revision: D14992018

Pulled By: riversand963

fbshipit-source-id: b5720ea4742029e2fb47ff6d9f8d9de006db4ed4

Update version and history for 6.0.1

update history and bump version

RocksDB Release 5.17.2

RocksDB Release 5.16.6

Bump version and update history

Bump version to 5.14.3 and update HISTORY