Ensemble domains, executors, and supervisory services #4888

Job	Run time
build	33m 36s
build (--enable-shared)	31m 44s
build (--with-gambit=master)	32m 15s
build (--with-gambit=master, --enable-shared)	32m 20s
	2h 9m 55s

Provide feedback