Use Snappy compression for the RocksDB benchmark

Using Snappy improves the read and write performance on my machine.
Reads are about 15% faster, writes about 50% faster.