Core.stdin deprecated

[mvolkmann]

Section 9.6.1 says "The values stdin, stdout, and stderr are useful enough that they are also available in the top level of Core's namespace directly", but those are now deprecated.