Final CADETS

Code as of the end of the CADETS program

cadets-e5: Fixes "within-file" scoping for Policy files.

When multiple files are links with llvm-link calls to
getSourceFilename() return "llvm-link" as the source. This change
properly uses the debug info to the original source filename.