bump Klee version, LLVM version, Hiredis version, build and install only the static hiredis lib

Note: although this change fixes the hiredis problem on my Mac, Souper on Mac still does not pass its tests. It tries to load libsouperPass.so instead of libsouperPass.dynlib. Let's fight that battle another day.