Create alpha-equvalency format solver #920

Job	Run time
clang-format	5m 47s
Docker	14m 2s
Coverage (STP)	38m 4s
Linux (LLVM 14)	15m 15s
Coverage (Z3)	38m 21s
macOS	6m 20s
Linux (LLVM 13)	15m 13s
Linux (LLVM 12)	15m 18s
Linux (LLVM 11, Doxygen)	15m 17s
Linux (LLVM 10)	15m 22s
Linux (LLVM 9)	15m 13s
Linux (ASan)	15m 16s
Linux (UBSan)	15m 15s
Linux (MSan)	15m 22s
Linux (Z3 only)	15m 12s
Linux (metaSMT)	15m 15s
Linux (STP master)	14m 57s
Linux (Latest klee-uclibc)	15m 13s
Linux (Asserts disabled)	15m 12s
Linux (No TCMalloc, optimised runtime)	15m 14s
	5h 31m 8s

Provide feedback