Created a Dockerfile - please include

[ninjarobot]

I created a Dockerfile that builds SWI-Prolog from source, clones Pengines, and runs a server. It would be great if this could be included in this repo or some other official SWI-Prolog repository and then become an official image (or images) on Docker hub. Can you please review the attached and let me know if what I am doing here is suitable? If so, should I submit a PR here or would this best to go in a new repository?

Pengines Dockerfile

Thanks for all your great work on Pengines.

[JanWielemaker]

Good to have!

It is probably better to use the development releases of SWI-Prolog. Also the build of the SWISH app is missing. Might be wise to add that. I've added a link to your repo in README.md.

All in all, the relation between Pengines and SWISH is a bit vague. SWISH is actively being developed and is getting Pengine like features using HTML cells in notebooks.

[ninjarobot]

@JanWielemaker thanks for the response and clarifications. I added another repository based off the dev packages.

As a Pengines server is useful in and of itself, I think yet another Dockerfile to add SWISH would be beneficial so it's possible to just get a Pengines server.

Also, these are published on Docker Hub, although somewhat unofficially under my account, and it would be great to move these to an official SWI-Prolog account.

[JanWielemaker]

I'm not that familiar with docker. At some point it would be nice to have Docker images for at least
ClioPatria and SWISH. I think in due time the Pengines web interface will get outdated and replaced
with SWISH. I don't really have time to look into this. If you are interested it maintaining an official SWI-Prolog Docker suite, I'm happy to facilitate this. Just tell me what to do :)

[ninjarobot]

@JanWielemaker I saw there was a 7.4.0-rc1 release and so I updated the docker images to use the updated PPA and for the one that builds from source, to use the latest tarball. Thanks for all your efforts on this!

[ninjarobot]

@JanWielemaker - it's seems there is now an official swipl/swipl image, so I updated the Dockerfile on https://github.com/ninjarobot/pengines-dockerfile to use this. Would it be possible to move this to the official swipl docker hub?