wget basex jar rather than require the package

[lucasgautheron]

The needed functionalities require a recent version of basex, usually more recent than what repositories have.