Introducing ControlArena: A library for running AI control experiments — LessWrong