Exposed two properties on RedirectedStreams.

This means that format(redirected_streams) now works.