Fix a rule about newline at eof

Source files should end with a newline, not a blank line.
Merge branch 'newline-at-eof' into corgi