Install libleveldb-dev for CI