Add option for pthread modeling, default false. Update LITs#4

nuudlman merged 1 commit intout-senior-design-clang-pthread:mainut-senior-design-clang-pthread/llvm-project:mainfrom

kvbridgers:improvementskvbridgers/llvm-project:improvementsCopy head branch name to clipboard