[doxygen] Add auto-deletion of the html folder, so that doxygen always builds a new documentation