Make rocksdb optional, since we can't build it on travis