doc/doxy: remove unused files