Docker Sandboxes kit for the built-in Devin agent: model pin and durable Devin settings.