Changes to tutorial.

Made various changes to the Idris tutorial.

+ Fixed problems with author...
+ Improved project structure.
+ Updated Makefile
+ Updated latex packages
  + Modern versions of font packages
  + nagging support for outdated LaTeX commands and packages.
  + Better font spacing and language support.
+ Added support for latexmk artifacts within .gitignore.
+ Added support for git and auto-fetching version info from tags.
  + Currently version info is hard coded.
  + If the correct hook is added the fetching can be automated.
+ Migrated to listings from fancyvrb
+ Improved idrislang.sty