Master branch renamed to main

Here are the following commands to fix your local environment:
```bash
git branch -m master main
git fetch origin
git branch -u origin/main main
git remote set-head origin -a
```

In addition, `develop` branch has been renamed to `archive/4.x` to reflect the skipped 4.0 release.