protecting master

Stream: mathlib4

[Scott Morrison]

After an accidental push to master, I've enabled branch protection for master, using the same settings as mathlib.

Maintainers can still push directly, but probably shouldn't.