GPS: strip trailing blank lines
A new preference is provided in GPS to strip or keep trailing blank lines at end of file when saving editors.