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

Now maven is no longer required during the build of Idris, so the "-f Java" cabal flag has gone, too.