Further diff improvements

- Add the new settings to gitblit.properties
- Highlight trailing whitespace