Add profile for html2text to generate CHANGES

command line:
html2text -rcfile html2textrc changes.html

.gitattributes

@@ -1627,6 +1627,7 @@ Installation/config/support/print_ZLIB_version.cpp -text
 Installation/config/support/test_BOOST_THREAD.cpp -text
 Installation/config/testfiles/CGAL_CFG_NO_CPP0X_ISFINITE.cpp -text
 Installation/doc_tex/Installation/illustration.png -text
+Installation/html2textrc -text
 Installation/src/CGAL/all_files.cpp -text
 Installation/src/CMakeLists.txt -text
 Installation/test/Installation/CMakeLists.txt -text

Installation/html2textrc

@@ -0,0 +1,31 @@
+BODY.indent=2
+
+#release line
+H2.prefix = -------------------------------- 
+H2.suffix = \ --------------------------------
+H2.vspace.before= 1
+H2.vspace.after= 1
+
+#package line or chapter line
+H3.prefix = * 
+H3.suffix = 
+H3.vspace.before= 1
+H3.vspace.after= 0
+
+#package line when chapter line is present
+H4.prefix = \ ** 
+H4.suffix = 
+H4.vspace.before= 1
+H4.vspace.after= 0
+
+#UL environment
+UL.indents=2
+UL.vspace.before = 1
+UL.vspace.after = 1
+UL.vspace.between = 1
+UL.default_types = CUSTOM1 CUSTOM2 CUSTOM3
+LI.custom1_bullet= \  -
+LI.custom2_bullet= \  -
+LI.custom3_bullet= \  -
+
+