Reinforcement learning for adaptive time-stepping in the chaotic gravitational three-body problem