e2aa714565
This patch improves the command line tool in two ways: * The tool can be instructed to read and execute a script from stdin by invoking it as `jerry -`. * The tool can be instructed to suppress its prompt when in repl mode by invoking it as `jerry --no-prompt`. JerryScript-DCO-1.0-Signed-off-by: Akos Kiss akiss@inf.u-szeged.hu