Implements preference conversion

Note that this pull request is against the PreferencesModel branch.

This adds an initial preferences conversion routine for Editor.js and CodeInspection.js. Preferences are converted from localStorage to their new form in user settings and then deleted from localStorage (which avoids attempts to reconvert later).