Drop unmaintained Dockerfile and drop building a Docker image via CI
The Dockerfile saw its last update more than two years ago, in November 2017. I doubt that this still works as expected, and think it's not reasonable to ship it in its current state.
Edited by georg