libtopk -- filter-space-saving topk algorithm