DPDK clone/fetch URL

[Thomas Monjalon]

Hello,

The server git.dpdk.org is not strong enough to hold all CI requests.
When a script is doing a git fetch or clone, it is consuming workload on the server.
Please could you favor the mirror on GitHub in any CI automation?
	https://github.com/DPDK/dpdk.git
This mirror is updated as frequently as git.dpdk.org:
We push to git.dpdk.org where a git hook is replicating the same on GitHub.

Hope we can reduce the workload on our main server.
Thank you everyone for collaborating.