Make highlight faces customizable

Unfortunately some of the colors for highlighting the different file states are unreadable with my color-theme. This patch allows to customize the colors.