Seol mar théacs é seo: The pebbling comonad in finite model theory