Create alpha-equvalency format solver #921

Job	Run time
Coverage (STP)	37m 26s
Coverage (Z3)	37m 43s
Docker	15m 48s
Linux (LLVM 14)	16m 2s
Linux (LLVM 13)	16m 2s
clang-format	5m 57s
macOS	11m 52s
Linux (LLVM 12)	16m 3s
Linux (LLVM 11, Doxygen)	16m 3s
Linux (LLVM 10)	16m 2s
Linux (LLVM 9)	16m 2s
Linux (ASan)	16m 6s
Linux (UBSan)	10m 8s
Linux (MSan)	16m 3s
Linux (Z3 only)	5m 12s
Linux (metaSMT)	15m 45s
Linux (STP master)	15m 57s
Linux (Latest klee-uclibc)	16m 7s
Linux (Asserts disabled)	16m 5s
Linux (No TCMalloc, optimised runtime)	15m 58s
	5h 32m 21s

Provide feedback