Store an additional newline at the end of the document when saving (github #3)

Also, when opening a file, don't load the trailing newline if there is one.
The behavior is now equivalent to gedit's.