Launcher: allows customizations to specify what globals passed to extensions

2018-02-02, Edouard Tisserant