Shell: execute commands from stdin if supplied filename is '-'.
Shell: fix potential resource leak, remove unused bit.
Shell: make test for reading from stdin more robust, polish.
Shell: set encoding for reading from stdin.
Kernel: add test for Args class parsing an option with a dash as value.
Kernel: make operator precedence explicit for better readibility.
Shell: update manpage for reading from stdin.
Merge pull request #1353 from jotomo/stdin

Shell: Enable reading from stdin