Unhide files
Add DirDiff 1.1.4
gnome-terminal supports 256 colors

let GUI use default system font instead of trying to force a possibly
non-existant font