Strip trailing whitespace on save

Fixes https://github.com/wbsoft/frescobaldi/issues/273

- Add action and menu entry `Tools->Remove trailing whitespace`
- Add preference ('general' page) to do this automatically on save.

TODO: Restore cursor position afterwards