Update Dockerfile

4 jobs for master in 3 minutes and 53 seconds (queued for 3 seconds)