CI: Add Docker-based compatibility tests, add tests to `make quickcheck` #3457

Job	Run time
Quickcheck C90 (aarch64)	1m 8s
Quickcheck C90 (x86_64)	48s
Linting (ubuntu-latest)	1m 23s
Examples (macos-latest)	9s
Examples (ubuntu-latest)	3s
lint-markdown-link	28s
Quickcheck (aarch64)	1m 8s
Quickcheck lib (macos-latest)	9s
Quickcheck (x86_64)	49s
Quickcheck windows-latest	24s
Quickcheck lib (ubuntu-latest)	13s
Compatibility tests (amazonlinux-2-aarch:base) / Start instance (c7g.medium)	1m 11s
Compatibility tests (ubuntu-20.04-aarch:base) / Start instance (c7g.medium)	1m 22s
Compatibility tests (amazonlinux-2-aarch:base) / Run container tests	40s
Compatibility tests (amazonlinux-2-aarch:base) / Run tests	0s
Compatibility tests (ubuntu-20.04-aarch:base) / Run container tests	33s
Compatibility tests (ubuntu-20.04-aarch:base) / Run tests	0s
Non-standard configurations (false, pqcp-arm64, ubuntu-latest (aarch64))	1m 47s
Compiler tests (aarch64)	1m 36s
Non-standard configurations (false, pqcp-x64, ubuntu-latest (x86_64))	2m 29s
Functional tests (mac)	2m 27s
Compiler tests (x86_64)	2m 19s
Functional tests (aarch64)	54s
Compiler tests (macos)	2m 14s
Functional tests (x86_64, cross)	1m 3s
Functional tests (riscv64, cross)	59s
Functional tests (x86_64)	58s
Functional tests (aarch64, cross)	59s
Functional tests (aarch64_be, cross)	59s
Compatibility tests (amazonlinux-2-aarch:base) / Stop instance (c7g.medium)	4s
Compatibility tests (ubuntu-20.04-aarch:base) / Stop instance (c7g.medium)	3s
	29m 19s

Provide feedback