Stav dette: Design and Inference in finite population sampling