Added ergoemacs, removed idris
Enabled ergoemacs