Docker multi-arch build and push to registries#29

richtong wants to merge 3 commits intoVIS4ROB-lab:masterVIS4ROB-lab/covins:masterfrom

tne-ai:master-netdronestne-ai/covins:master-netdronesCopy head branch name to clipboard