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

Change-Id: Iaadd7147e3e779f6d804dd225853b462a8ffef8f