Allow annotation checkers to hook into Namers.typeSig

Replaces the previously added hook `assignAnnotationsToTree` by the more general solution
`typeSigAnnotations`. This hook is invoked whenever the type of a signature (ClassDef, DefDef,
etc) is computed by either parsing the annotated type, or by computing the righthand side's type.

Minor cleanups in AnnotationCheckers.scala