Added some sorely needed top-level Doxygen documentation.