A gedit plugin to change newline type / line endings for the current document