Fixed a subtle bug with redirects and pipes.

Spaces between angle bracket and the file path will now work correctly
when followed by a pipe.
Merge branch 'dev' of https://github.com/mmalek93/pintos-gmt into dev