kore-repl: redirection doesn't work with alias

[daejunpark]

Suppose we have the following alias in a preloaded repl script:

alias konfig = config | kast -i kore -o pretty -d .build/defn/haskell /dev/stdin

Then the following command does NOT redirect the output but just prints to the stdout.

Kore (N)> konfig > filename
Config at node N is:
...

However, if the aliased command is inlined, then the redirection works:

Kore (N)> config | kast -i kore -o pretty -d .build/defn/haskell /dev/stdin > filename
Redirected output to "filename".