SF patch #693753: fix for bug 639806: default for dict.pop

(contributed by Michael Stone.)