Adds feature: global Module configuration including config file for TrustAtHsH modules
Adds --agenda option to provide agenda file on commandline
Adds --threadpool-size option to provide size of Executor's threadpool size on the commandline
Adds --timescale option to provide wait time between agenda ticks on the commandline
Fixes typo in method call introduced during rebase with main feature branch