Fix Dockerfile
Merge branch 'graphtool' of https://github.com/Nesreka/Repograms into graphtool