Port more stuff to mark used attributes
Whitelist doc attributes

This is a bit overly permissive but should be okay for now.
Get "make check" to work with unused-attribute

There's a fair number of attributes that have to be whitelisted since
their either looked for by rustdoc, in trans, or as needed. These can be
cleaned up in the future.