vigor: docker/Dockerfile (last edited 2020-05-07 20:29:59 by PieterSmit)