Gedit plugin that trims trailing whitespace before saving a document