Fix ensime/ensime-server#477
Merge pull request #20 from edani/sem-high-crlf

Fix ensime/ensime-server#477
Merge remote-tracking branch 'remotes/github-source/master'