DocId set compression and set operation library