Add DejaVu Sans Mono font for Powerline

This font is an alternative to be used if the
current terminal font is not showing Powerline
fancy symbols.