Avoid scanning dependencies for annotations

[victornicolet]

Code annotations are loaded by scanning the syntax of all packages, including dependencies but standard library excluded. This may cause problems if the dependencies contain annotations that conflict with the annotations of the code to be analyzed. We need to find a way to exclude all or some dependencies.

However, this is likely not a problem early on. Users can also define analysis problems with unique tags to avoid any conflict with dependencies' annotations.