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

Job	Run time
Quickcheck C90 (aarch64)	57s
Linting (ubuntu-latest)	1m 24s
Quickcheck C90 (x86_64)	51s
lint-markdown-link	28s
Quickcheck (aarch64)	1m 3s
Quickcheck windows-latest	40s
Quickcheck (x86_64)	50s
Examples (macos-latest)	8s
Quickcheck lib (macos-latest)	11s
Examples (ubuntu-latest)	3s
Quickcheck lib (ubuntu-latest)	13s
Compatibility tests (amazonlinux-2-aarch:base) / Start instance (c7g.medium)	1m 15s
Compatibility tests (ubuntu-20.04-aarch:base) / Start instance (c7g.medium)	1m 14s
Compatibility tests (amazonlinux-2-aarch:base) / Run container tests	19s
Compatibility tests (amazonlinux-2-aarch:base) / Run tests	0s
Compatibility tests (ubuntu-20.04-aarch:base) / Run tests	0s
Compatibility tests (ubuntu-20.04-aarch:base) / Run container tests	1m 25s
Non-standard configurations (false, pqcp-arm64, ubuntu-latest (aarch64))	1m 18s
Functional tests (mac)	1m 18s
Non-standard configurations (false, pqcp-x64, ubuntu-latest (x86_64))	1m 19s
Compiler tests (aarch64)	45s
Functional tests (aarch64)	2s
Compiler tests (x86_64)	1m 17s
Functional tests (x86_64, cross)	38s
Compiler tests (macos)	1m 17s
Functional tests (riscv64, cross)	17s
Functional tests (x86_64)	2s
Functional tests (aarch64, cross)	1m 19s
Functional tests (aarch64_be, cross)	3s
Compatibility tests (amazonlinux-2-aarch:base) / Stop instance (c7g.medium)	6s
Compatibility tests (ubuntu-20.04-aarch:base) / Stop instance (c7g.medium)	7s
	20m 49s

Provide feedback