do not run the initscript in ideslave mode; also remove now unneeded auto-idris.el (since idris-mode implements that via ideslave)