Gedit 3 plugin that removes whitespace at the end of lines and files on saving.