Update CI to Ubuntu 20.04

4 jobs for update-ci-distro in 3 minutes and 36 seconds (queued for 1 second)