Improved dictionary saving
Improved dictionary saving

Before, non-string keys would fatally fail. Instead, such dictionaries
are now pickled.

agarbuno/deepdish,uchicago-cs/deepdish,agarbuno/deepdish,uchicago-cs/deepdish