A PHP extension for Facebook's RocksDB