add initial version of propagation_engine.adoc #342

Job	Run time
build (g++-10, Debug, 17)	1m 55s
build (g++-10, Release, 17)	2m 33s
build (clang++-10, Debug, 17)	2m 34s
build (clang++-10, Release, 17)	2m 32s
build (g++-7, Debug, 17, sudo apt-get install g++-7)	2m 47s
build (g++-11, Debug, 20, sudo apt-get install g++-11)	2m 39s
build (clang++-6.0, Debug, 17, sudo apt-get install clang-6.0)	1m 45s
build (clang++-7, Debug, 17, -stdlib=libc++, sudo apt-get install clang-7 libc++-7-dev libc++abi-...	2m 18s
build (clang++-7, Release, 17, sudo apt-get install clang-7)	1m 58s
build (clang++-11, Debug, 20, -stdlib=libc++, sudo apt-get install clang-11 libc++-11-dev libc++a...	2m 22s
build (clang++-11, Release, 20, sudo apt-get install clang-11)	3m 0s
build (sanitizers, clang++-12, Debug, 20, -O1 -g -fsanitize=address,undefined,leak,integer -fno-o...	4m 2s
build (valgrind-memcheck, g++-10, Debug, 17, -O1 -g -fno-omit-frame-pointer -fno-optimize-sibling...	2m 46s
build (coverage, g++-10, Debug, 17, -g -O0 --coverage -fno-inline, sudo apt-get install -y lcov, ...	2m 27s
	35m 38s

Provide feedback