Update Dockerfile

5 jobs for master in 6 minutes and 11 seconds (queued for 2 seconds)