Extension configuration

extension declares extension instances and switches (service mode, benchmarks, record/replay, …).

(To be expanded: structure per submodule.)