Reinstate universe checking in test002
* Use cc as C compiler, instead of hardcoding gcc.
* Do not use -isystem (not needed, and breaks building the runtime with clang)
* Make clang happier when building the runtime
Fix test002
Parser cleanup. Removing scaffolding parsers, rewrite PParser and IdeSlave from parsec to Haskell. No more parsec dependencies
Total version of the [a..b] and [a,b..c] syntax.

Fixes #328.
Merge pull request #635 from hannesm/cleanups

* Use cc as C compiler, instead of hardcoding gcc.
Disambiguate Stream
Added note about changes to [..] in the CHANGELOG
Remove C warnings when compiling with a proper compiler
Allow the use of the default foreground colour. Make it the colour of the prompt.

Fixes #633.
Work around the brokenness of Nat.div wrt 0
Disallow proving of top-level declarations and other meta-variables, fixes idris-lang/Idris-dev#46
Add forgotten module
Merge pull request #637 from ahmadsalim/feature/pparser-trifecta

Parser cleanup.
Merge pull request #638 from david-christiansen/issue/328

Total version of [a..b] and [a,b..c]
Merge pull request #640 from david-christiansen/color-theme-default-option

Allow the use of the default foreground colour. Make it the colour of the prompt.
Merge pull request #641 from ahmadsalim/feature/metavarprooffix

Disallow proving of top-level declarations and other meta-variables, fix...
Merge branch 'feature/cwarnings-removal' of https://github.com/ahmadsalim/Idris-dev into ahmadsalim-feature/cwarnings-removal

Conflicts:
	rts/idris_opts.c