MDL-40493 User preference: Allow users to set their preferred text editor.

This changes the setting htmleditor in the user preferences from a 0 or 1 column
to the name of their preferred text editor. Existing preferences are updated if
the site is upgraded, but the function can also handle old data in the case of
restored user backups.