Suggest contributing types to typeshed in some error messages

[ilevkivskyi]

For example, if a user uses --disallow-any-XXX and we can track the Any type as originating from an unannotated function/attribute in typeshed, we can add a note suggesting to contribute this type (with a link).