Change push to use Docker Hub.#31

aarlt wants to merge 2 commits into

developaarlt/solidity:developfrom

dockerhubaarlt/solidity:dockerhubCopy head branch name to clipboard