A frozen artifact

[HuStmpHrrr]

to what I can see, this library seems in a frozen state. however, for education purposes, I think it will be beneficial if there is an artifact, in a form of docker image or even a VM. Thus, people in the future could just run that VM without having to work with a more and more out-of-date Agda configuration.

[favonia]

Sorry for the delay. Does this works? https://github.com/banacorn/docker-agda/tree/master/2.5.3

It uses docker to encapsulate all the system libraries the Agda 2.5.3 depends on.