added ensime plugin