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 [email protected]