A starter Dockerfile for pluto

[Hughshine]

Hi! I write a non-optimal pluto's Dockerfile for person project, which is here, hoping it can help someone with the build.

But the Dockerfile currently cannot deal with the documenation generation for cloog and piplib, which seemingly use out-of-date texlive... The work-around is to comment out those in autoconf, as below (I redirect those submodule in my pluto fork):

piplib: verif-scop/piplib@ff5915e

cloog: verif-scop/cloog@3cf5023

Here's the docker image from dockerhub: docker pull hughshine/pluto-verif:latest