Improve compilation-mode faces
Theme dired+
Fix a couple of typos