Merge V8_1-gittrac_4297-branch.  (Move user-level checkpointing support to the vanilla universe.)