Change push to use Docker Hub.#31

aarlt wants to merge 2 commits intodevelopaarlt/solidity:developfrom

dockerhubaarlt/solidity:dockerhubCopy head branch name to clipboard