Corrected double-decoding of HTML entities in htmltext attributes (refs #3919)

Set FCKEditor's HtmlEncodeOutput to false and fixed Doc::setValue() to handle
this encoding.
Merge pull request #825 from eguaj/3.1-A3919

Corrected double-decoding of HTML entities in htmltext attributes (closes #3919)