Add ensime plugin.