This patch removes the docbook files since all their content is now in the wiki and doxygen. It also renames the documentation directories to be more obvious: the doxygen config is now in doc/doxygen and the produced documentation goes in doc/html.