Remove build-in-base-env.yml #939

Job	Run time
Coverage (STP)	52m 39s
Coverage (Z3)	44m 38s
Linux (LLVM 14)	16m 28s
clang-format	6m 24s
Linux (LLVM 13)	20m 44s
Docker	12m 45s
macOS	10m 29s
Linux (LLVM 12)	16m 54s
Linux (LLVM 11, Doxygen)	21m 19s
Linux (LLVM 10)	15m 52s
Linux (LLVM 9)	17m 54s
Linux (ASan)	1h 7m 27s
Linux (UBSan)	57m 3s
Linux (MSan)	1h 22m 14s
Linux (Z3 only)	21m 42s
Linux (metaSMT)	37m 29s
Linux (STP master)	23m 44s
Linux (Latest klee-uclibc)	20m 34s
Linux (Asserts disabled)	19m 52s
Linux (No TCMalloc, optimised runtime)	13m 59s
	9h 40m 10s

Provide feedback