Moving the documentation for the objc_requires_super attribute into AttrDocs.