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

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