Docker support via github actions
Created by: tjbtjbtjb
Before creating a docker file takes too long, one should consider to provide it up to date to users.
See for example. https://docs.github.com/en/free-pro-team@latest/actions/creating-actions/dockerfile-support-for-github-actions