Change s2n.dockerfile base to match GitHub Actions environment
Change s2n.dockerfile base to match GitHub Actions environment

GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script