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

This changes the setting htmleditor in the user table from a 0 or 1 column
to a user preference for the name of their preferred html editor.