* configuration: added parameters to suppress and control memory mapping of on-disk index files

* infrastructure: improved robustness when checkpoints are being created while shutting down BabuDB

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