Build and push docker image automatically on new releases

Now every time a new tag is created (in a release), a new docker image is pushed to the github registry (in the future, to hub.docker.com as well).