First Dominator Implementation Fix

[Casperento]

This pull request refactors and improves the handling of control flow and value cloning in the ProgramSlice logic, updates build instructions in the README.md, and makes several minor code cleanups and documentation fixes. The most significant changes focus on simplifying and correcting the way conditional values are cloned and how loop-related control flow is handled.

ProgramSlice logic improvements

• Replaced the getClonedOrUndef method with a new getClonedCond method in both ProgramSlice.h and ProgramSlice.cpp, which now more robustly handles cloning of condition values (including Argument types) and removes the need for a context parameter. All usages in terminator reconstruction updated accordingly. [1] [2] [3]
• Improved loop and control flow handling in getNewTargetByFirstDominator by skipping loop headers and blocks outside the current loop, and added debug logging for these cases.
• Simplified getOrCreateTargetBlock by removing redundant checks for loop containment, relying on improved logic in the dominator-based target selection.