Ideslave support

Ideslave emacs side -- please do not merge before the idris-dev #312 got merged.