basex 7.7.2

Updated BaseX to newest stable bugfix release.