Make sure all .hs files end in a newline
Make sure all .hs files end in a newline

GHC sometimes (but not consistently?) warns about missing newlines
at the end of source files. With -Werror enabled, this causes builds
to fail.
GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script