Branch protection

Stream: toric

[Yaël Dillies]

Heads up everyone that after yet another accidental push to master, I have protected the branch. Now, all changes to master must be made through a PR (but everyone is allowed to merge PRs, so you can still commit whatever you want to master, so long as it builds)

[Michał Mrugała]

(deleted)