python-leveldb install for CI