Set JAVA_HOME
Add idris-mode