Add doc target, generating docs with Doxygen.

Also: very minor formatting & doc changes.