Fix our version of strdup() to adhere to the standard semantics for

out-of-memory --- that is, return NULL rather than dumping core.
Noted by Qingqing Zhou.