Update ENSIME version.