Get rid of master/slave in Git repository, documentation where possible, etc.

No technical reason, that's more about not offending anyone.

We will rename git branches, and update the documentation where possible.

We will probably keep these words in the documentation of older (5.x) branches, since changing wording in micro releases would be confusing. But we won't use that wording in newer (6.x) branches.