New version rocksdb may change the value of some enums, then we have
to update those enums accordingly. So we need a script to generate
those enums instead of updating them manually.