git branches renamed

Following a decision from the Technical Board
(http://mails.dpdk.org/archives/dev/2020-July/174483.html),
some branch names have been renamed in some repositories.

For instance, the "master" branch of the main repository becomes "main".

Sorry for not announcing the change in advance. More branches in other repositories could be renamed.