Add an ENSIME plugin