Reorganize README

[JoelYYoung]

This PR reorganizes the README for clearer navigation and presentation.

[codecov]

Codecov Report

❌ Patch coverage is 70.16129% with 37 lines in your changes missing coverage. Please review.
✅ Project coverage is 67.89%. Comparing base (96c0d1d) to head (56fe2e5).
⚠️ Report is 1 commits behind head on master.

Files with missing lines	Patch %	Lines
svf/lib/MTA/MTASVFGBuilder.cpp	17.64%	14 Missing ⚠️
svf/include/Graphs/SlicedGraphs.h	68.96%	9 Missing ⚠️
svf/lib/Graphs/SlicedGraphs.cpp	80.95%	4 Missing ⚠️
svf/lib/MTA/MHP.cpp	66.66%	4 Missing ⚠️
svf/lib/MTA/MTA.cpp	84.00%	4 Missing ⚠️
svf/lib/MTA/FSMPTA.cpp	71.42%	2 Missing ⚠️

Additional details and impacted files

@@            Coverage Diff             @@
##           master    #1880      +/-   ##
==========================================
- Coverage   67.89%   67.89%   -0.01%     
==========================================
  Files         261      261              
  Lines       26668    26677       +9     
  Branches     5110     5110              
==========================================
+ Hits        18106    18112       +6     
- Misses       8562     8565       +3     

Files with missing lines	Coverage Δ
svf-llvm/include/SVF-LLVM/GEPTypeBridgeIterator.h	94.44% <ø> (ø)
svf-llvm/lib/ObjTypeInference.cpp	95.10% <ø> (ø)
svf/include/AE/Core/NumericValue.h	81.92% <ø> (ø)
svf/include/Graphs/CDG.h	0.00% <ø> (ø)
svf/include/Graphs/ThreadCallGraph.h	93.02% <ø> (ø)
svf/include/Graphs/VFG.h	91.61% <ø> (ø)
svf/include/MTA/MTASVFGBuilder.h	100.00% <ø> (ø)
svf/include/MTA/MTASlicer.h	100.00% <ø> (ø)
svf/include/MTA/TCT.h	92.52% <100.00%> (ø)
svf/include/Util/SparseBitVector.h	89.91% <ø> (ø)
... and 8 more

🚀 New features to boost your workflow:

• ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.