* indices: fixed a bug that could cause data loss if memory mapping is...

* indices: fixed a bug that could cause data loss if memory mapping is disabled, fixed synchronization problems
* tools: added tool that generates an XML dump out of a database

git-svn-id: https://babudb.googlecode.com/svn/trunk@318 d4c7dd96-b7b2-11dd-893d-d98698f66bbf