Reinstated OpenFile.stdio_file as a Closeable.
Install finalizer for pipes as in MRI. No pclose equiv yet.
Minor tweaks.