fixed #12465 - added (undocumented) command-line option --executor to specify the used executor implementation

fixed #12465 - added (undocumented) command-line option --executor to specify the used executor implementation #13264