Various 'beneath the hood' improvements made to the tutorial project.

+ Moved content to sub- directory.
+ 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.
Improved macros.

+ Turned macros into a distinct package.
+ made use of verbtim based commands optional.
Improved macros.

+ Turned macros into a distinct package.
+ made use of verbtim based commands optional.
+ fancyvb support included with fpmacros
Merge branch 'tutorial' of github.com:jfdm/Idris-dev into tutorial
Converted examples to listings.
Fixed reference errors, and improved idrislang.sty.

`idrislang.sty` now has:

+ idris and literateidris languages.
+ default styes: numbers and default
+ options to use literate and numbers.
+ reduced set of default keywords.
Merge pull request #613 from jfdm/tutorial

Changes to tutorial.