Documented user settings

Described how to customize words to highlight. Fixed spelling error
(weazel->weasel). Added several to do’s.
Support user-defined file types

Added new key ‘extra_extensions’ to configure more file types. Enabled
plugin on .txt files by default.
Merge branch 'user-settings-'