Merge "Add /dev/stdin, /dev/stdout, and /dev/stderr." am: 6ec934bc9d am: 295c7983a0
am: 8b06759532

Change-Id: I7658bdbf908d997005dbd79ccbeb79a5c279fb66