introduce idris-core.el, on which all .el files depend. this loads idris-compat

this was suggested by @purcell and should solve issue #25