Add some (mostly doxygen) documentation.