Update readme

Update the README to reflect the codegen situation.
The Java code generator is just as included as the JavaScript one, currently: https://github.com/idris-lang/Idris-dev/tree/master/src/IRTS