Finite groupoids

We are going to write a tiny bit more about finite groupoids in order to
prove a result on the existence of invariant affine opens. This is the
first commit.