A docker.io Dockfile for creating a bootstrapping Mercury compiler