Removed webpages from klee.llvm.org, except for index.html which redirects to new address