Have prebuilt Docker images

[Cheezer1656]

As suggested in #10, it would be nice if we had a CI workflow that built the Docker images and put them somewhere so that users can just pull them instead of building everything themselves. Perhaps we could put it on Docker Hub.