Launcher script for REPL

Signed-off-by: Pekka Enberg <penberg@kernel.org>