add ensime plugin