Truncate and simple-tabs now switch between on and off.
Added Agda mode.
Make agda conditional because we don't always have it, some small fixes.