Add Idris-Mode. Use Droid Sans Mono. Clean up code.