Fix ensime/ensime-server#424

Pulled changes from @slipset ; added menu entries ; made stacktrace
highlight to work.