Add x86 (32-bit) CI

[dstebila]

See #1037.

[thomwiggers]

PQClean tests this by using 32-bit user land Docker containers, which run on x86_64 hosts without any intermediate, but should be sufficient for testing this aiui