do not run the initscript if in ideslave mode
remove auto-idris, now that the functionality is supported via ideslave
Merge pull request #660 from hannesm/no-init-ideslave

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