devbox: Turn off StrictHostKeyChecking in SSH.