[Python-Dev] pickle.dump(..) interface change ... documentation