[FIX] GUI, Info View: divide by zero
Merge branch 'next' of github.com:BaseXdb/basex into next