add docker image publishing after releasing box

[BigBadBassMan]

fixes #693 by using a github action to create a docker image from the released artifact.

New secrets needed on the repo: DOCKERHUB_USERNAME : username for dockerhub, also used as docker image repository name DOCKERHUB_TOKEN : access token for docker, needs at least push privileges.