Fix ensime/ensime-server#424

Pulled changes from @slipset ; added menu entries ; made stacktrace
highlight to work.
Merge pull request #56 from edani/slipset-sbt

Fix ensime/ensime-server#424
hotfix https://github.com/ensime/ensime-server/issues/685
real fix for https://github.com/ensime/ensime-server/issues/685