tutorial: replace some leftover occurrence of fO
Separate IO and PrimIO
PrimIO is the internal primitive, IO is the user version which requires an
explicit World token to be passed in which programmers have no access to
directly.
Fixes #185 and fixes #325
Merge pull request #464 from cheepnis/master

tutorial: replace some leftover occurrence of fO
Merge pull request #463 from tauli/master

added combinators to SimpleParser
Tweak scoping rules in 'where'
Check whether function names are rebound in patterns
Merge branch 'master' of github.com:edwinb/Idris-dev
Fix some implementation paper typos
Set line buffering on stdout in REPL setup

The runtime sets stdout to block buffering if it’s not connected to a terminal,
so a program piping from idris or idris --ideslave does not get responses as
they are written.
Merge pull request #466 from Melvar/repl-linebuffering

Set line buffering on stdout in REPL setup
Fix optional combinator in SimpleParser
Optimise datatypes with one constructor and one argument
No need to pack them up (because we're strict!) so just treat them as a
newtype would be in Haskell.

No need now to treat prim__IO/prim_io_bind specially in the compiler as the
cosntructor is automatically discarded by this optimisation.
More minor impl-paper edits and typo fixes
Semantic colouring of identifiers in REPL
Basic colourisation in REPL
Colourisation fix for repl
Colourise implicit params with underline
Move colourisation to a separate module

This will make it easier to selectively import it and to avoid cyclic
dependencies.
Add command line option to control REPL colours

--colour will ensure that colours are on, and --nocolour will ensure that they
are off. American spellings also supported.
Make --quiet imply --nocolour

This keeps ANSI colour codes from interfering with things like test scripts
and editor support.
Have :t colourise the left side of the colon