All notebook should (if possible in a sensible way) start out with `using Oscar`

[fingolfin]

So instead of using Singular or using GAP or whatever, we want the using Oscar to make it clear that these are Oscar examples.