Docker: container that can execute Makefiles

[chrysn]

The Docker container generated by the provided Dockerfile is quite helpful in getting new users (such as me who is trying to gain a better understanding for hax's application in edhoc-rs) started, but is of limited use when trying to apply it to the provided examples, because those need (at least) the combination of cargo-hax, make, and fstar (and/or coq).

Would you consider providing a Dockerfile (or, both for the existing one and the new one, even the Docker by uploading to dockerhub or another hosting) that contains all the software needed to run the examples in full?