basex: update 7.7.2 -> 7.8.2