Include one Ubuntu 20.04 configuration (#1447)
Include one Ubuntu 20.04 configuration (#1447)

PR #1403 accidentally removed our build coverage for an older Ubuntu LTS
configuration. This patch adds in back and ensures that we don't accidentally
run the tests on this configuration.
GaloisInc/cryptol,GaloisInc/cryptol,GaloisInc/cryptol