更新ensime插件