replace austin repl with weasel repl (better stability with web sockets)