add doxygen to build-env #350

Job	Run time
Evaluate force rebuild and set env variables as outputs	1s
Build and push deprecated build-kit-debian docker image / Check for changes	5s
Build and push deprecated everest-clang-format docker image / Check for changes	5s
Build and push run-env-base docker image / Check for changes	2s
Build and push deprecated build-kit-alpine docker image / Check for changes	5s
Build and push run-env-base docker image / Build and push	1m 45s
Build and push deprecated build-kit-alpine docker image / Build and push	1m 42s
Build and push deprecated build-kit-debian docker image / Build and push	2m 41s
Build and push deprecated everest-clang-format docker image / Build and push	51s
Build and push build-env-base docker image / Check for changes	2s
Build and push build-env-base docker image / Build and push	2m 24s
Build and push build-kit docker image / Check for changes	2s
Build and push dev-env-base docker image / Check for changes	4s
Build and push build-kit docker image / Build and push	1m 7s
Build and push dev-env-base docker image / Build and push	1m 59s
	12m 55s

Provide feedback