Add REPL sockets

Hm, maybe this should go into `logs/repl/`?