Add checktest.sh; fix import in GenZip; add .gitignore for tests
This adds a bash script that verifies that all modules found in the (Linux-64) collections are used in
test.icl. It allows that some modules are commented out. The check is run in CI so this should help us to not forget adding new modules there.
This MR also fixes some missing modules found this way, and an outdated import in