Minor correction of xml structure to conform to the DTD
Ignore odbc cores
Change encoding of troublesome notes.xml files to utf-8

Most notes.xml files will be updated in every release and cause
the kind of the problems described in the previous commit.
Merge branch 'lukas/r16b02/docfixes' into maint

* lukas/r16b02/docfixes:
  Ignore odbc cores
  Cross compilation is now a supported feature
Merge branch 'maint'

* maint:
  Ignore odbc cores
  Cross compilation is now a supported feature
Merge branch 'kenneth/doc_to_dtd/OTP-11193' into maint

* kenneth/doc_to_dtd/OTP-11193:
  Corrections so that the documentation confirms to the DTD
  Minor correction of xml structure to conform to the DTD
Merge branch 'maint'
Merge branch 'bjorn/xml-encoding-fix/OTP-11310' into maint

* bjorn/xml-encoding-fix/OTP-11310:
  Change encoding of troublesome notes.xml files to utf-8
  Convert some notes.xml files from latin-1 to utf-8
Merge branch 'maint'

* maint:
  Change encoding of troublesome notes.xml files to utf-8
  Convert some notes.xml files from latin-1 to utf-8