Github Action: Docker Build and Push

[Gnnng]

As per the workflow file, this pull request have two types of automatic build-and-push workflows for docker image.

• for each pull request created in this repository, a new image tagged by git commit (e.g., atactr/automata:ab590788) will be created for every push
• for main branch push, a new image tagged by latest will be created.

The target registry is https://hub.docker.com/repository/docker/atactr/automata. And in the future we might add new docker image tags based on git release tags (e.g., v0.1.2) or branch names.

https://github.com/automata-network/automata/blob/408bac49dcaa5dd453b4f48a1bf9a03c04e9fa3b/.github/workflows/docker.yaml#L1-L44

Some references:

• --mount=type=cache in Dockerfile
• Docker buildx --cache-from and --cache-to.