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