Merge "Add /dev/stdin, /dev/stdout, and /dev/stderr."