move to github image registry

[Adrian Chiris]

If/when/once this project moves to networkplumbingwg org we should push docker images to github container registry
(which avoids the docker image pull limits)