Fixed wrong proxy config file in docker documentation

8 jobs for eliotberriot-master-patch-97701 in 2 minutes and 43 seconds (queued for 2 seconds)