adding ensime plugin