Added pyrepl to play with; not sure if I'll keep it