Fixes #1484.

In general, fixes any use of gevent.monkey.get_original() in such a process.

Be more careful about double-patching in general too. Detecting duplicate arguments to patch_all only patches things that need to be patched.