(Temporarily) remove java tests from travis

I don't have time to actively maintain the java backend, and the
Nat->BigInt optimisation has broken it. I'll put the tests back when
this is fixed.
Merge branch 'master' of github.com:edwinb/Idris-dev