Support user-defined file types

Added new key ‘extra_extensions’ to configure more file types. Enabled
plugin on .txt files by default.