Update ensime version, remove eclipse plugin