Update klee to version 2.3+20230320 / rev 34 via SR 1073721
    
    https://build.opensuse.org/request/show/1073721
    by user jirislaby + dimstar_suse
    - Update to version 2.3+20230320:
      * ConstantArrayExprVisitor: Fix detection of multiple array indices
      * ConstantArrayExprVisitor: Deduplicate `visitConcat` and `visitRead`
      * llvm14 support
      * Update KDAlloc unittests
      * Don't fail `KleeStats.c` test if it takes 1s or longer
      * Disable `const_array_opt1` for ubsan as well
      * Fix uninitialised memory access while reading last path entry
      * Fix building of runtime library and klee-replay
      * Add support to disable memsan instrumentation; update UB/Asan suppression
      * [MemSan] Mark memory objects modified by syscalls as initialised
      * Fix compiler warning with newer compilers
      * Use bitcode library paths via config generation instead of `-D` flags
      * [cmake] Use LLVM's CMake functionality only
      * Fixed a bug in KLEE libc's imple