Rewriting macro analyzer

[oreflow]

• Including found call stack as motivation for decision (macro or not)
• Allowing traversal of cached files before loading non cached files
• Rewording to indicate whether function or call produces targets or not (by definition rule or macro)
• Cleans up API (separating external and internal structures and state)