Remove Java RTS build in favor of the version hosted on Maven Central
Remove java rts from idris.cabal
Merge pull request #400 from JanBessai/JavaRTSOnMavenCentral

Remove Java RTS build in favor of the version hosted on Maven Central