Add BaseX 7.8.1

Closes #3942.