python pickle dump to string