New terminal font

Added: We now use "Droid Sans Mono" with a fake bold effect as the terminal font.