Docker image for https://pmd.github.io/