New variable `dotspacemacs-mode-line-unicode-symbols`

Can choose between ASCII chars or unicode symbols in the mode-line
can be useful for some terminals