-write removes trailing newline from modified file

[sim642]

Running reanalyze 389dd68 on Goblint goblint/analyzer@a544002 revealed the following.

When -write modifies a file to add dead code attributes, it removes the trailing newline from the file. Since all other code style is nicely preserved, it shouldn't be removing that.