GenerateEverythingIlc: Separate and update configuration
GenerateEverythingIlc: Separate and update configuration

This allows to change the configuration without understanding too much
the logic.

Moreover, this updates the configuration to the values we need to make
things work.

Old-commit-hash: b56aedea74f9af933cef578b52300981e0f4c23c

inc-lc/ilc-agda