Add idris-mode config
More configuration for scheme/sicm mechanics
Add lots of language extensions to ghci