Basic solver working
Read from standard input
something
Update for idris 0.9.8.1
Update for idris 0.9.9.3
Added LaTeX support for Idris.
Fix regression with implicits, add a test

This was due to the previous erasure fix, which is now handled a
different way, leaving pattern types in unnormalised form during
typechecking to give unification/matching more to work with.
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.
Merge pull request #609 from jfdm/contrib/listings

Simple LaTeX support for Idris.
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.
Change Prelude.Strings.pack to apply to Foldable
Merge pull request #613 from jfdm/tutorial

Changes to tutorial.
Fix ambiguity in test
Store arguments in a global rather than the VM struct so as to reduce dependence of lib on RTS impl details
Implement argument access under LLVM codegen
Fix test reg004 ignoring extra arguments