Added Ensime mode and updated the documentation