Gedit plugin that removes unnecessary whitespace upon saving