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.
Normalise pattern types when typechecking

Otherwise the erasure of collapsible variables doesn't necessarily spot
them on the right hand side, and we can't normalise there because we
don't have the right context information and forcing has already
happened.

Fixes #596
Set up more partial evaluation machinery

elabPE in ElabDecls now searches for partially evaluatable names (by
searching for statics), creates a new definition and elaborates and
specialises that (so recursively finding any more partially evaluatable
names).

Not finished yet, so call to elabPE is commented out for now.
Fix case split bug on complex nested patterns

Leave 'type' implicit arguments to be inferred, rather than have built.
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