Basic solver working
Read from standard input
something
Update for idris 0.9.8.1
Add ability to set ANSI italics

This is not widely supported - it may not work for some users.
Refactored the build inside Setup.hs and the various Makefiles.

* Refactored the Setup.hs script into a much simpler layout.
* Simplified the idris.cabal file, alphabetizing the modules,
  build dependencies, simplifying the indentation, standardizing the
  flags, and normalizing the formatting of lists.
* Fixed a bug in the generation of the executable_pom.xml file for
  the Java backend.
Refactored new parser to use considerably less try-statements/lookahead
for better performance and error reporting
Further refactoring of decl' to allow errors to be propagated
correctly
Reverting the change to the POM template and removing the templating/clenup logic for the Java backend.
Removed explanations for comments (as to not say expected comment when
something is wrong)
Add ability to set ANSI italics

This is not widely supported - it may not work for some users.
Preserve colour themes after :e
Merge remote-tracking branch 'origin/color-repl' into color-repl
Merge pull request #496 from david-christiansen/color-repl

Add ability to set ANSI italics
Added note about wiki to README
Add datatype for reflected errors
Work around parser bug
Added flag for error reflection extension
Add parser and tests for parser for error reflection extension
Merge branch 'master' of https://github.com/ahmadsalim/Idris-dev into ahmadsalim-master