DejaVu Sans Mono font for terminal emulator.

Replace PragmataPro font by DejaVu Sans Mono font in terminal emulator.