Adapt README to reflect the current state of code generators.
Update README
Update README
Merge branch 'update-readme' of https://github.com/markuspf/Idris-dev into markuspf-update-readme

Conflicts:
	README.md
Merge branch 'markuspf-update-readme'