Wiki: thanks to the editors

Hi all, I would like to thank the people who have been contributing anything to our Wiki in recent months, no matter if it's only typos or full edits. A thank you goes to Prakash, Jidanni, Dirk, James Ball, DKnippers, Arve, Lukas and others... You all help to improve the quality of our documentation and the experience working with BaseX! Christian