add higher-leveldb from hackage