Renaming the default branch from master to main

[amferraboli]

Github and other communities are changing the default branch name from master to main (https://github.com/github/renaming).
It is an inclusive practice and I believe it has everything to do with the objective of this repo!

[rowlandm]

Agreed.