docker.yml: update number of cpu cores (8 provided by max)

12 jobs for master in 381 minutes and 5 seconds (queued for 1 second)