Adapt README to reflect the current state of code generators.
Update README
Update README
Add missing case in runIdeSlaveCommand (fixed #1668)
Added documentation for the pprint command in the Idris REPL.

The contributer of pprint forgot to add documentation for its use within idris.
Suitable documentation has been added.
Improved documentation.
Remove dep sets from bound variables.
Use Set for unique name checking for efficiency

A list is fine in most cases, but we were getting some pathologically
bad cases especially where there were lots of ambiguous names in large
functions.
Merge pull request #1674 from edwinb/uniquename-set

Use Set for unique name checking for efficiency
Extract java backend and dependencies to new repo

It's now in idris-hackers/idris-java, but I can't promise it works.
Extract java backend and dependencies to new repo

It's now in idris-hackers/idris-java, but I can't promise it works.
Merge pull request #1669 from soimort/fix-runIdeSlaveCommand

Add missing case in runIdeSlaveCommand
Merge pull request #1670 from jfdm/fix/foc/pprint

Added documentation for the pprint command in the Idris REPL.
Merge pull request #1672 from ziman/simplify-erasure

Remove dep sets from bound variables
Merge branch 'update-readme' of https://github.com/markuspf/Idris-dev into markuspf-update-readme

Conflicts:
	README.md
Merge branch 'markuspf-update-readme'
Merge pull request #1675 from edwinb/javaectomy

Extract java backend and dependencies to new repo
Proper error for missing eliminator

...just a Msg, but it's better than an INTERNAL ERROR
Fix missing case in PartialEval.hs

Fixes #1664. We may need to think more carefully about how to build
partially evaluated definitions better later, but this is a safe
solution for the moment.
Merge pull request #1676 from edwinb/elimerr

Proper error for missing eliminator