Class method types may depend on earlier methods

Classes are now represented as dependent records, rather than simple
records. This allows type classes to capture functions and their
properties together.
Take out the TODO that's TODONE for classes!
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)