Remove old Doxygen HTML pages