dump the content of a Python shelve database to JSON'