Add a string auto-replacement system is user settings.

So It would be a bit like the mechanics from emoticons, `:)` could automatically convert to 😃 Perhaps we could be able to add new "emoticons" to be converted: for exemple I often type `^^`, So I could add in my user settings -> converting strings, the `^^` with replacement `:grin:`.