Create alpha-equvalency format solver #912

Job	Run time
Coverage (STP)	14m 47s
Docker	11m 43s
clang-format	5m 49s
Coverage (Z3)	15m 6s
Linux (LLVM 14)	6m 56s
Linux (LLVM 13)	6m 46s
macOS	7m 5s
Linux (LLVM 12)	6m 44s
Linux (LLVM 11, Doxygen)	6m 47s
Linux (LLVM 10)	6m 24s
Linux (LLVM 9)	6m 36s
Linux (ASan)	6m 45s
Linux (UBSan)	6m 44s
Linux (MSan)	6m 47s
Linux (Z3 only)	6m 42s
Linux (metaSMT)	6m 43s
Linux (STP master)	6m 44s
Linux (Latest klee-uclibc)	6m 46s
Linux (Asserts disabled)	6m 43s
Linux (No TCMalloc, optimised runtime)	6m 43s
	2h 35m 20s

Provide feedback