python pickle dumps to string