Various `behind the scenes' improvements to the Idris tutorial.

+ Split some sections into smaller files.
+ Gave sentances a line each, better for merging.
+ Gave a nominal Makefile to operate over latexmk.
+ Fixed some grammar and spelling mistakes.