Research how to launch the most simple program on go with klee and document it along with versions of klee, llvm and gotollvm

[PolyProgrammist]

1. Need to know that klee is tested on llvms up to 12-th version. So we need to consider llvm versions <= 12
2. Also we need to figure out which versions of gollvm are compatible with llvm version <= 12 and with which version of llvm it is compatible
3. Then try to use klee, llvm and gotollvm with good versions