Restore deleted doxygen files and move them with the others