#14 Add a getter for DDatabase size

This is a request for adding DDatabase.getSize(),
which would avoid the need for manually iterating over
all documents to get a database size.

Thanks

[Kurt Riede]

Logged In: YES
user_id=484961
Originator: NO

now available in CVS HEAD