devbox: Install an ssh config file.