Add docker build and publish on push#9

ok-mo wants to merge 3 commits intorenode:masterrenode/renode-docker:masterfrom

ok-mo:masterok-mo/renode-docker:masterCopy head branch name to clipboard