ensime plugin script