Refactor Analyzer to return Analysis
Include full call graph in Analysis

Note that the log printer still only prints a single reachability
path, since otherwise the output format is non-trivial.
Fix #1370: Fail by default if there are linking errors

Also add a flag that allows to only warn if there are linking errors